{"id":"8b274e86-193c-47ec-a0b0-b2f6f7656a17","arxiv_id":"2504.14629","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For unbounded A subset of R and bounded X, the curve A times_{l1} (tX) is a geodesic ray, and d_GH(Z^n, lambda Z^n) is at least 1/2 for every lambda > 1.","lead":"This paper proves new results about the Gromov-Hausdorff distance, which measures how far two metric spaces are from being isometric. It shows that scaling the integer lattice by any factor larger than 1 makes it jump by at least 1/2, so the natural scaling map on the cloud of R^n is discontinuous.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4 hinges on an unproved total-order step: after Lemma 3 the pairs {b_{i0},b_{i1}} are asserted to lie on a line in increasing i, and the main distance sum needs that ordering.","rationale":"The reader's conditional verdict is appropriate. Theorem 5's counting argument is sound: a non-bijective correspondence already has distortion at least 1, and for a bijective correspondence the ball-counting asymptotic forces N(t)>N'(t) for large t. Theorem 4 is essentially correct, but the WLOG ordering after Lemma 3 is a genuine unproved structural step; it is likely salvageable by the interval-intersection argument, so no rejection is warranted. The one-sided unbounded direction for A is secondary: if A is unbounded below only, replacing A by -A gives an isometric copy and the proof goes through, but this reflection is not written. The alternating-index condition i_{2n+1}=i_1 is a consequence of 2n alternations and is fine once the order is known. Verdict unchanged: conditional acceptance pending a written justification of the ordering lemma.","tokens_in":7422,"tokens_out":32362,"duration_ms":291601,"concrete_test":"Formulate and prove the missing structural lemma: if a set of real numbers {b_{ij}: i=1..2n+1, j∈{0,1}} satisfies Lemma 3 for all i<j<k and all α,β,γ, then, after possibly reflecting the line, every point of pair i lies to the left of every point of pair k for all i<k. A proof can use that for i<j<k the intersection of the four open intervals with endpoints b_{iα}, b_{kγ} must contain {b_{j0},b_{j1}}; this intersection is nonempty only when pairs i and k are separated. Once established, insert it after Lemma 3 and verify the rest of the Theorem 4 chain, including the alternating choice i_{j+1}=1−i_j and the resulting equality for |b_{1i_1}b_{2n+1,i_{2n+1}}|. If a configuration satisfying Lemma 3 with non-totally-ordered pairs is found, Theorem 4 collapses.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central geodesic estimate in Theorem 4 is proved by a single chain of inequalities ending in c ≥ diam X − diam Y. The step |b_{1i_1} b_{2n+1,i_{2n+1}}| = Σ_{k=1}^{2n} |b_{k i_k} b_{k+1 i_{k+1}}| is an equality of distances along a line, so it is valid only if the selected points b_{1i_1},...,b_{2n+1,i_{2n+1}} occur in monotone order. The proof asserts 'without loss of generality' immediately after Lemma 3 that the pairs {b_{i0},b_{i1}} are located on a line in ascending order of i. Lemma 3 itself only says that for i<j<k every point of pair j lies strictly between every point of pair i and every point of pair k; it does not explicitly prove a global total order of the pairs. The missing argument is not merely cosmetic: for i<k with some j between, the condition that b_{j0},b_{j1} lie in the intersection of the four intervals determined by the two points of pair i and the two points of pair k forces those two pairs to be separated and pair j to lie in the gap between them; an induction then gives the total order. Until this lemma is written, the equality in the chain is unsupported. The alternating-index construction that forces i_{2n+1}=i_1 is well defined once the order is known, so the whole lower bound depends on this unproved step. This is the most load-bearing gap in the paper.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies geodesic lines in the Gromov-Hausdorff class, focusing on the cloud of the real line. Theorem 4 claims that for any unbounded A subset of R, any A' at finite Gromov-Hausdorff distance from A, any B subset of R, and any bounded metric spaces X,Y, the lower bound d_GH(A' x_{l1} X, B x_{l1} Y) >= (diam X - diam Y)/2 holds. From this, Corollary 2 derives that A x_{l1} (tX) is a geodesic line for bounded X and unbounded A. Theorem 5 proves that for every lambda > 1 and every n, d_GH(Z^n, lambda Z^n) >= 1/2, and the authors conclude that the scaling curve t Z^n is discontinuous and hence not a geodesic, and that multiplication by a fixed lambda is not continuous on the cloud of R^n.","tokens_in":7714,"tokens_out":16789,"duration_ms":141329,"significance":"If the main results are correct, the paper makes a worthwhile contribution: it constructs new geodesic lines in the Gromov-Hausdorff class inside the cloud of the real line, and it identifies a concrete obstruction to the standard scaling argument for contractibility of clouds of R^n. Theorem 5 is particularly clean: the proof uses only the elementary fact that a non-bijective correspondence between Z^n and lambda Z^n has distortion at least 1, combined with the standard lattice-point asymptotic, and it contains no free parameters or circular reasoning. The lower-bound technique in Theorem 4, once the missing justifications are supplied, would be a useful tool for further work on clouds. The conceptual conclusion about discontinuity of the scaling ray is clearly stated and is a valid negative result about a natural approach, not an overclaim about contractibility itself.","major_comments":[{"comment":"The proof chooses points p_1 < p_2 < ... < p_{2n+1} in A with consecutive gaps larger than 100(t+c+w+diam Y). This is possible only if A is unbounded above. The theorem statement assumes only that A is an unbounded subset of R, and sets such as A = -N admit no increasing sequence with arbitrarily large consecutive gaps. A reflection argument (applying the theorem to -A and -A') would repair the proof, but as written the stated theorem is not proved for all unbounded A.","section":"Theorem 4, proof, first paragraph"},{"comment":"The step 'without loss of generality, we can assume that pairs of points {b_{ij}, b_{i j+1}} are located on a line in ascending order of indices i' is asserted without proof. The subsequent equality |b_{1 i_1} b_{2n+1 i_{2n+1}}| = sum_{k=1}^{2n} |b_{k i_k} b_{k+1 i_{k+1}}| and the alternating-index construction i_{2n+1} = i_1 both depend on the selected points being in monotone order. Lemma 3 provides a betweenness condition for every triple i<j<k, but the paper does not show how this condition forces the required global ordering of the pairs, especially for adjacent pairs. The proof needs an explicit argument (for example, an induction using a third pair to separate consecutive pairs) before this ordering can be used.","section":"Theorem 4, proof after Lemma 3"}],"minor_comments":[{"comment":"The text states 'by Theorem 2 the equality d_GH(t_1 X, t_2 X) = |t_1 - t_2| diam X holds'; the factor 1/2 is missing. The subsequent displayed inequality and the final result are correct, so this is only a typographical slip.","section":"Corollary 2, proof"},{"comment":"In the long inequality chain, the notation |a_{1 i_1} a_{2n+1 i_{2n+1}}| and |p_{1 i_1} p_{2n+1 i_{2n+1}}| is confusing because a_i and p_i are not indexed by the choice indices i_j; these expressions should be |a_1 a_{2n+1}| and |p_1 p_{2n+1}|, respectively.","section":"Theorem 4, proof, displayed chain"},{"comment":"There are numerous typographical errors that should be corrected: 'abitrary' in the abstract, 'gedesic', 'discontinous', 'Mo reover', 'dist ance', and the corrupted text '/emdash.cyr' in the proof of Theorem 5.","section":"Throughout"},{"comment":"After deriving c + 2w/(2n+1) + 2n/(2n+1) diam Y >= 2n/(2n+1) t, the passage to the limit 'n arbitrarily large and t arbitrarily close to diam X' is correct, but it would be clearer to state explicitly that the term 2w/(2n+1) tends to 0 and that t can be chosen after n because t depends only on X.","section":"Theorem 4, proof, final inequality"}],"recommendation":"major_revision","confidential_remarks":"The stress-test concern about the ordering step is legitimate as a presentation gap: while Lemma 3 very likely implies the needed total order with an additional short argument, the current text does not supply it, and the main chain of Theorem 4 relies on it. The unbounded-above issue is a genuine statement-proof mismatch, but it is easily fixed by reflection. Both issues are repairable without changing the paper's main ideas. Theorem 5 appears sound and should remain unchanged. I recommend major revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know this paper for Theorem 5: for every λ>1 and n, d_GH(Z^n, λZ^n) ≥ 1/2. The proof is a nice counting argument—a finite-distortion bijective correspondence would force the lattice ball count in λZ^n to dominate that in Z^n, but the volume asymptotics say the opposite, so the correspondence cannot be bijective; non-bijective gives distortion at least 1. That is clean, uses a standard lattice-point theorem, and it has a real consequence: the natural scaling map on the cloud of R^n is discontinuous, so the standard route to contractibility fails. That result is the real contribution.\n\nThe other main result, Theorem 4, constructs geodesics: for unbounded A⊂R and bounded X, A×_{ℓ1}(tX) is a geodesic line in the GH class. The lower bound d_GH(A'×X, B×Y) ≥ (diam X−diam Y)/2 is the engine, and the proof is a long distortion chain that essentially works.\n\nThe soft spots are all in the presentation of Theorem 4. After Lemma 3, the proof says 'without loss of generality' the pairs {b_{i0}, b_{i1}} lie on a line in ascending index order. That is not automatic from Lemma 3 as written; Lemma 3 gives betweenness for any i<j<k, and you need a short induction to show the convex hulls of the pairs are separated and ordered. The stress-test note is right that this is load-bearing: the main equality |b_{1i1} b_{2n+1 i_{2n+1}}| = Σ |b_{kik} b_{k+1 i_{k+1}}| needs monotone order. But it is patchable, not fatal. The other concern—that A being unbounded only below might not admit p_1<...<p_{2n+1} with large gaps—is not actually a problem: you can choose the sequence backward from a fixed point. The proof should say that, but it is minor.\n\nThere are also small presentational issues: t in the proof of Theorem 4 is never defined (it is an arbitrary value ≤ diam X), and the English needs editing. None of that touches the math.\n\nVerdict: the paper deserves a serious referee. Theorem 5 is solidly new; Theorem 4 needs a rewritten proof with the ordering lemma explicit. I would send it out, asking for revisions rather than rejecting.","headline":"Two new results in Gromov–Hausdorff geometry: a clean, correct lower bound for the scaling of Z^n that blocks the naive contractibility proof, and a geodesic construction whose proof has a patchable ordering gap.","tokens_in":8275,"tokens_out":10048,"would_cite":true,"duration_ms":84567,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C23","51F30"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that unbounded subsets of the real line generate new geodesic lines in the Gromov–Hausdorff class, while scaling the integer lattice by $\\lambda>1$ stays discontinuous.","keywords":["Gromov–Hausdorff distance","geodesic line","cloud","unbounded subset of the real line","integer lattice","scaling discontinuity","ℓ^1 product","correspondence distortion"],"falsifier":"For $A=\\{-1,-2,-3,\\ldots\\}$, compute $d_{GH}(A\\times_{\\ell^1}X,\\,A\\times_{\\ell^1}(2X))$ for a two-point metric space $X$; Theorem 4 predicts exactly $\\operatorname{diam} X/2$, so any smaller value refutes the theorem as stated. For Theorem 5, an explicit correspondence between $\\mathbb{Z}$ and $2\\mathbb{Z}$ with distortion less than $1$ would refute the bound $d_{GH}(\\mathbb{Z},2\\mathbb{Z})\\ge 1/2$.","tokens_in":7192,"feed_emoji":"📐","tokens_out":21587,"duration_ms":164299,"temperature":0.7,"pith_summary":"The paper works in the Gromov–Hausdorff metric, which measures how far two metric spaces are from being isometric, and asks whether natural one-parameter families of spaces are geodesics. Its first result is constructive: whenever $A$ is an unbounded subset of the real line and $X$ is a bounded metric space, the family $A\\times_{\\ell^1}(tX)$, $t\\ge 0$, moves through the Gromov–Hausdorff class at constant speed, so it is a geodesic. Its second result is a counterexample: for every $\\lambda>1$ and $n\\in\\mathbb{N}$, the distance between the integer lattice $\\mathbb{Z}^n$ and its scaled copy $\\lambda\\mathbb{Z}^n$ is at least $1/2$, so the scaling curve $t\\mathbb{Z}^n$ is not continuous, let alone geodesic. These two facts together show that the cloud of $\\mathbb{R}^n$—the class of metric spaces at finite Gromov–Hausdorff distance from $\\mathbb{R}^n$—cannot be contracted by the obvious homothety, leaving the question of whether such clouds are contractible genuinely open.","feed_headline":"Unbounded subsets of R give new geodesics in Gromov–Hausdorff space","feed_subtitle":"Yet scaling the integer lattice by λ>1 is discontinuous, blocking the standard contraction proof for the cloud of R^n.","key_machinery":"The load-bearing object is the correspondence and its distortion, because Proposition 1 reduces the Gromov–Hausdorff distance to half the infimum distortion over all correspondences between two spaces. For the geodesic theorem the construction uses the $\\ell^1$ product $A\\times_{\\ell^1} X$ with metric $d((a,x),(a',x'))=|a-a'|+|x-x'|$; the proof selects $2n+1$ points $p_1<\\cdots<p_{2n+1}$ in the unbounded set $A$ whose consecutive gaps are huge compared with the distortion and diameters involved, forcing any correspondence to have distortion at least $(\\operatorname{diam} X-\\operatorname{diam} Y)$. For the lattice counterexample, the key tool is the asymptotic count of lattice points in a ball, $N(t)=\\operatorname{Vol} B_1(0)\\,t^n(1+o(1))$, which rules out bijective correspondences between $\\mathbb{Z}^n$ and $\\lambda\\mathbb{Z}^n$ because the volumes scale by $\\lambda^n>1$.","core_discovery":"The paper's central claim is that the Gromov–Hausdorff class contains many geodesic lines built from an unbounded spine in the real line. Theorem 4 states that if $A\\subset\\mathbb{R}$ is unbounded, $A'$ is any metric space at finite Gromov–Hausdorff distance from $A$, and $X,Y$ are bounded, then $d_{GH}(A'\\times_{\\ell^1}X,\\,B\\times_{\\ell^1}Y)\\ge (\\operatorname{diam} X-\\operatorname{diam} Y)/2$; Corollary 2 converts this into the exact equality $d_{GH}(A\\times_{\\ell^1}t_1X,\\,A\\times_{\\ell^1}t_2X)=|t_1-t_2|\\operatorname{diam} X/2$, so the curve is a geodesic. The paper's second central result, Theorem 5, is that $d_{GH}(\\mathbb{Z}^n,\\lambda\\mathbb{Z}^n)\\ge 1/2$ for every $\\lambda>1$ and $n\\in\\mathbb{N}$, proved by showing that a bijective correspondence between the two lattices would violate the asymptotic lattice-point count in balls. Consequently the curve $t\\mathbb{Z}^n$ is discontinuous in the Gromov–Hausdorff class, and multiplication by $\\lambda$ is discontinuous on the cloud of $\\mathbb{R}^n$.","pith_inferences":["The same one-dimensional lower-bound argument should work whenever the unbounded spine is a subset of a line inside any normed space and the bounded factor is joined by the $\\ell^1$ product, so such geodesics are not special to $\\mathbb{R}$.","The volume-counting contradiction suggests that any uniformly discrete subset of $\\mathbb{R}^n$ with minimum separation $1$ lies at distance at least $1/2$ from its $\\lambda$-scaling, making the discontinuity generic rather than special to $\\mathbb{Z}^n$.","Whether one-sided unbounded sets such as the negative integers satisfy the stated geodesic equality is not decided by the proof, because the point-selection step presupposes arbitrarily large positive elements."],"forward_implications":["For every unbounded $A\\subset\\mathbb{R}$ and bounded $X$, the curve $t\\mapsto A\\times_{\\ell^1}(tX)$ is a geodesic in the Gromov–Hausdorff class with speed $\\operatorname{diam} X/2$.","The lower bound $d_{GH}(A'\\times_{\\ell^1}X,\\,B\\times_{\\ell^1}Y)\\ge (\\operatorname{diam} X-\\operatorname{diam} Y)/2$ forces apart any two such spaces whose bounded factors have different diameters.","For every $\\lambda>1$ and $n\\in\\mathbb{N}$, $d_{GH}(\\mathbb{Z}^n,\\lambda\\mathbb{Z}^n)\\ge 1/2$, so the multiplication map on the cloud of $\\mathbb{R}^n$ is not continuous.","The curve $t\\mathbb{Z}^n$ is therefore not a geodesic, and the standard homothety argument does not prove contractibility of the cloud of $\\mathbb{R}^n$."],"supporting_citations":[{"why":"Defines clouds and the filtered-class framework, and supplies the earlier geometric-progression example showing a cloud can bounce off itself under multiplication.","marker":"[1]"},{"why":"Provides Proposition 1 (Gromov–Hausdorff distance as half the infimum distortion) and Theorem 2 (scaling a bounded space is a geodesic), which anchor the lower and upper bounds in Theorem 4.","marker":"[2]"},{"why":"Supplies the asymptotic count of integer lattice points in a ball used to rule out bijective correspondences in Theorem 5.","marker":"[8]"},{"why":"Also states the correspondence machinery, the product-correspondence lemma, and the bounded scaling geodesic theorem used for the upper bound in Corollary 2.","marker":"[11]"}],"fun_headline_variants":["New geodesics from unbounded R subsets in Gromov-Hausdorff space","R-embedded geodesics, but lambda scaling of Z^n is discontinuous","Gromov-Hausdorff: R gives geodesics, Z^n scaling does not","Geodesic lines from R, yet Z^n scaling fails continuity in GH"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof of the geodesic theorem needs the unbounded set to contain points going off to $+\\infty$, since it places a long chain of far-apart points in increasing order; the theorem only assumes the set is unbounded, so one-sided unbounded sets such as the negative integers are not covered by the proof as written.","fun_headline_variants_meta":{"raw":{"variants":["New geodesics from unbounded R subsets in Gromov-Hausdorff space","R-embedded geodesics, but lambda scaling of Z^n is discontinuous","Gromov-Hausdorff: R gives geodesics, Z^n scaling does not","Geodesic lines from R, yet Z^n scaling fails continuity in GH"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000256,"raw_usage":{"total_tokens":1630,"prompt_tokens":1052,"completion_tokens":578,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":668,"completion_tokens_details":{"reasoning_tokens":491}},"tokens_in":668,"tokens_out":578,"duration_ms":5150,"temperature":1.0,"reasoning_tokens":491,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T11:46:50.940110+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For $A=\\{-1,-2,-3,\\ldots\\}$, compute $d_{GH}(A\\times_{\\ell^1}X,\\,A\\times_{\\ell^1}(2X))$ for a two-point metric space $X$; Theorem 4 predicts exactly $\\operatorname{diam} X/2$, so any smaller value refutes the theorem as stated. For Theorem 5, an explicit correspondence between $\\mathbb{Z}$ and $2\\mathbb{Z}$ with distortion less than $1$ would refute the bound $d_{GH}(\\mathbb{Z},2\\mathbb{Z})\\ge 1/2$.","supporting_citations":[{"cited_title":"Sobolev, Distribution of integer lattice points in a ball centred at a diophantine point , Mathematika 56(01):118 - 134, 2010","cited_arxiv_id":null,"evidence_quote":"Supplies the asymptotic count of integer lattice points in a ball used to rule out bijective correspondences in Theorem 5."}],"review_version":1}