{"id":"b390d61e-6eb5-49fc-ad7f-fd32a76783ea","arxiv_id":"2409.02248","paper_version":3,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":5.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Alternative proofs of GH distances between S^1 and S^n plus exact value (1/2)arccos(-1/4) for distance between S^3 and S^4.","lead":"The paper gives alternative proofs for the exact Gromov-Hausdorff distance between the circle and any higher-dimensional sphere, plus the specific distance value between the 3-sphere and 4-sphere. Researchers working on shape comparison in geometry may use these exact values to test conjectures or build new comparisons.","discovery_kind":"unclear","skeptic_critique":{"model":"grok-4.3","headline":"Optimality of constructed S^3–S^4 correspondences (achieving the GH infimum) remains the load-bearing step","rationale":"The reader’s identification of optimality as the weakest assumption matches the structure of any exact GH-distance proof, which always splits into matching upper and lower bounds. The alternative proofs for S^1–S^n are secondary; the novel claim is the n=3 case, whose correctness hinges on the same optimality step. No other internal inconsistency is visible from the abstract and claim description.","tokens_in":1590,"tokens_out":390,"duration_ms":19158,"concrete_test":"Extract the explicit correspondence R between S^3 and S^4 given in the paper; recompute its distortion sup{|d_{S^3}(x,x′)−d_{S^4}(y,y′)| : (x,y),(x′,y′)∈R} and confirm it equals ½ arccos(−1/4). Separately, check whether the lower-bound proof (likely in the section settling the Lim–Mémoli–Smith conjecture for n=3) derives the same number from metric properties alone without referencing the constructed R.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The equality d_GH(S^3,S^4)=½ arccos(−1/4) requires both an upper bound (via an explicit correspondence R⊂S^3×S^4 whose distortion equals the claimed value) and a matching lower bound showing that every correspondence has distortion at least that large. The reader’s weakest assumption correctly isolates the first half: if the paper’s constructed R is not optimal, the claimed exact value does not follow. The lower-bound argument must therefore be independent of the particular form of R (e.g., it cannot tacitly assume equivariance or radiality that the construction happens to satisfy).","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript provides alternative proofs of results by Harrison and Jeffs on the exact Gromov-Hausdorff distance between S^1 and S^n (n any natural number) under geodesic metrics, and proves that d_GH(S^3, S^4) equals ½ arccos(−1/4), thereby settling the n=3 case of the conjecture of Lim, Mémoli and Smith.","tokens_in":1720,"tokens_out":480,"duration_ms":20574,"significance":"If the optimality of the constructed correspondences is rigorously established, the work supplies concrete exact values for GH distances between spheres and independent proofs, strengthening the body of explicit computations in metric geometry.","major_comments":[{"comment":"The central claim that d_GH(S^3, S^4) = ½ arccos(−1/4) rests on the constructed correspondence R ⊂ S^3 × S^4 having distortion exactly equal to the claimed value and on a matching lower bound that holds for every correspondence. The manuscript must isolate the lower-bound argument (likely in the section treating the S^3–S^4 case) and verify that it does not tacitly rely on equivariance or radiality properties satisfied only by the particular R.","section":"S^3–S^4 construction and lower-bound argument"},{"comment":"The abstract asserts that the constructed correspondences achieve the infimum defining the GH distance; however, without an explicit verification that the distortion of R equals the claimed constant and that no smaller distortion is possible, the exact equality does not follow. This verification is load-bearing and must be supplied with error bounds or exhaustive case analysis if the construction is finite.","section":"Abstract and the S^3–S^4 optimality proof"}],"minor_comments":[{"comment":"Clarify the notation for the distortion function and the precise definition of the correspondence R early in the text so that the upper-bound calculation can be followed without ambiguity.","section":null},{"comment":"Add a short comparison table or statement contrasting the new proofs with those of Harrison–Jeffs to highlight the technical differences.","section":null}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading and constructive suggestions. We address the two major comments below and will revise the manuscript to improve the isolation and independence of the lower-bound argument for the S^3–S^4 case.","responses":[{"response":"We agree that the lower-bound argument should be presented in a self-contained manner. The existing proof derives the lower bound from the general definition of distortion and the geometry of the spheres without invoking equivariance or radiality of the specific R; however, to address the concern we will isolate this argument in a dedicated subsection of the S^3–S^4 section and add an explicit statement confirming that the bound applies to arbitrary correspondences.","revision_made":"yes","referee_comment":"[S^3–S^4 construction and lower-bound argument] The central claim that d_GH(S^3, S^4) = ½ arccos(−1/4) rests on the constructed correspondence R ⊂ S^3 × S^4 having distortion exactly equal to the claimed value and on a matching lower bound that holds for every correspondence. The manuscript must isolate the lower-bound argument (likely in the section treating the S^3–S^4 case) and verify that it does not tacitly rely on equivariance or radiality properties satisfied only by the particular R."},{"response":"The body of the paper already contains both the explicit computation that the distortion of R equals ½ arccos(−1/4) and the matching lower bound that rules out smaller values. The construction is continuous rather than finite, so error bounds are not applicable. We will nevertheless revise the abstract to note that both the upper and lower bounds are established in the text, and we will add a short concluding remark in the S^3–S^4 section that summarizes the equality.","revision_made":"yes","referee_comment":"[Abstract and the S^3–S^4 optimality proof] The abstract asserts that the constructed correspondences achieve the infimum defining the GH distance; however, without an explicit verification that the distortion of R equals the claimed constant and that no smaller distortion is possible, the exact equality does not follow. This verification is load-bearing and must be supplied with error bounds or exhaustive case analysis if the construction is finite."}],"tokens_in":1288,"tokens_out":501,"duration_ms":15077,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main things to know are that this paper settles the n=3 case of the Lim-Mémoli-Smith conjecture with the exact value ½ arccos(-1/4) for the Gromov-Hausdorff distance between S^3 and S^4, and it supplies alternative proofs for the distances from S^1 to S^n that Harrison and Jeffs had already determined. The concrete number for S^3 and S^4 is new. The alternative proofs add something if they use genuinely different methods or are simpler to follow. The paper does well by giving explicit correspondences that produce the upper bound matching the claimed distance. Those constructions are the part that makes the result concrete rather than just an existence claim. The soft spot is the lower bound. It has to hold for every possible correspondence, not just the ones constructed in the paper. If the argument for the lower bound stays independent of the particular form or symmetry of the constructed R, then the equality is fine. If it borrows any property that only their R satisfies, the exact value would not be fully established. The abstract does not spell out the details, so that is the section that needs the most careful check. The citation pattern is normal for the area and properly points to the conjecture and the prior S^1 work. This paper is aimed at metric geometers who track exact GH distances between spheres or who want to push the conjecture further. A reader focused on that specific open case will get direct value from the number and the constructions. It deserves a serious referee because the result is precise enough for verification and closes one case of an existing conjecture. I would send it to peer review.","headline":"The paper settles the S^3-S^4 GH distance at ½ arccos(-1/4) via explicit constructions and gives alternative proofs for the S^1 cases.","tokens_in":2187,"tokens_out":416,"would_cite":false,"duration_ms":39207,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[],"headline":"Pure metric geometry result on GH distances between spheres; no overlap with RS forcing chain or J-cost","alignment":"orthogonal","rationale":"Paper constructs optimal correspondences via Voronoi cells of regular simplices on S^n (using ζ_n = arccos(-1/(n+1))) and proves dGH(S^3,S^4)=½ζ_3 plus S^1-to-S^n cases. RS modules (AlexanderDuality.lean: alexander_duality_circle_linking forcing D=3; AbsoluteFloorClosure, Cost.FunctionalEquation for J and φ) derive dimension, cost and constants from one distinction; no shared machinery or claims about Gromov-Hausdorff distortion or sphere correspondences. Domain mismatch (math.MG vs. recognition-forced physics) yields orthogonal verdict.","tokens_in":63476,"confidence":"high","tokens_out":183,"duration_ms":8243,"cache_read_input_tokens":38528,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Explicit correspondences establish the Gromov-Hausdorff distance between the 3-sphere and 4-sphere as half arccos of negative one fourth.","keywords":["Gromov-Hausdorff distance","spheres","optimal correspondences","geodesic metrics","metric geometry","S^3","S^4","circle"],"falsifier":"Either a proof of a strictly larger lower bound or the exhibition of any correspondence whose distortion is strictly smaller than one half arccos of negative one fourth.","tokens_in":2491,"feed_emoji":"","tokens_out":601,"duration_ms":19743,"temperature":0.7,"pith_summary":"The paper constructs explicit correspondences between spheres equipped with their geodesic metrics that achieve the infimum in the Gromov-Hausdorff distance definition. It first supplies alternative proofs for the distances between the circle and every higher-dimensional sphere. It then uses related constructions to fix the distance between the three-sphere and four-sphere at one half times arccos of negative one fourth, confirming the n=3 case of an existing conjecture. A reader cares because these values give concrete numbers for how spheres of different dimensions can be matched metrically.","feed_headline":"Explicit maps fix GH distance between S3 and S4 at 1/2 arccos(-1/4)","feed_subtitle":"The same constructions also give fresh proofs for distances from the circle to every higher sphere.","key_machinery":"Explicit constructions of correspondences between spheres that realize the infimum defining the Gromov-Hausdorff distance.","core_discovery":"By constructing explicit optimal correspondences, the paper shows that the Gromov-Hausdorff distance between S^3 and S^4 equals one half arccos of negative one fourth and supplies alternative proofs that the distance between S^1 and S^n equals one half arccos of one over n plus one for each n.","pith_inferences":["The constructions may extend to compute distances between other pairs of spheres such as S^4 and S^5.","The explicit maps could serve as test cases for numerical algorithms that approximate Gromov-Hausdorff distances on manifolds.","The pattern of optimal distortion might reveal a general formula across all pairs of spheres."],"forward_implications":["The n=3 case of the Lim-Mémoli-Smith conjecture is settled.","Alternative proofs now exist for the distances between the circle and all higher spheres.","The same style of explicit maps works for both the circle cases and the three-to-four sphere case.","These distances supply exact benchmark values for metric comparisons among spheres."],"fun_headline_variants":["Maps set S3-S4 GH distance to 1/2 arccos(-1/4)","Alternative proofs give S1 to Sn GH distances","Constructions settle S3 to S4 GH value","Maps determine circle to sphere GH distances","Optimal maps prove sphere GH distances exactly"],"cache_read_input_tokens":64,"weakest_assumption_plain":"The correspondences constructed in the paper achieve the infimum that defines the Gromov-Hausdorff distance.","fun_headline_variants_meta":{"raw":{"variants":["Maps set S3-S4 GH distance to 1/2 arccos(-1/4)","Alternative proofs give S1 to Sn GH distances","Constructions settle S3 to S4 GH value","Maps determine circle to sphere GH distances","Optimal maps prove sphere GH distances exactly","Constructions confirm S3 S4 at 1/2 arccos(-1/4)"]},"model":"grok-4.3","cost_usd":0.010394,"raw_usage":{"total_tokens":4547,"prompt_tokens":564,"num_sources_used":0,"completion_tokens":92,"cost_in_usd_ticks":103937000,"prompt_tokens_details":{"text_tokens":564,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":3891,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":564,"tokens_out":92,"duration_ms":21931,"temperature":1.0,"reasoning_tokens":3891,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-23T21:11:41.682636+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Either a proof of a strictly larger lower bound or the exhibition of any correspondence whose distortion is strictly smaller than one half arccos of negative one fourth.","supporting_citations":[],"review_version":1}