{"id":"0908fb85-a556-4c0b-b383-a8ac2dc88c8b","arxiv_id":"2501.03128","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Uniformly locally finite metric spaces with isomorphic Roe algebras are coarsely equivalent, and the outer automorphism group of the Roe algebra is canonically isomorphic to the group of coarse equivalences.","lead":"The paper proves that metric spaces with the same Roe algebra, a C*-algebra built from their large-scale structure, must be coarsely equivalent. It also shows that the automorphisms of that algebra are exactly the large-scale symmetries of the space, settling a long-standing rigidity question.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Claim 4.6 is circular: the subspace F_i used to choose V_i includes a term depending on V_i itself, so the constructed unitary need not exist; Theorem B's proof has a gap, although Theorem A is unaffected.","rationale":"I reviewed the proof of Theorem A carefully. Proposition 3.2 is valid, the use of weak approximate control and Lemma 2.13 is sound, and the passage from an isomorphism to a coarse equivalence is correctly arranged. The discretization issue flagged by the reader is not a genuine weakness: the characterization of bounded geometry spaces as exactly those coarsely equivalent to uniformly locally finite spaces is standard, and the reduction from bounded geometry to Theorem A is immediate via coarse equivalence invariance of Roe algebras. The real problem I found is in the proof of Theorem B, which is advertised in the abstract and in the introduction. Claim 4.6 constructs unitaries V_i from subspaces F_i, but F_i includes the j=i term, which already contains V_i. This is not merely a wording issue: the required orthogonality condition forces a positive compression to vanish on V_i(E_i), which is generally impossible unless V_i(E_i) lies in the kernel of that compression. The proof is therefore invalid as written. The fix is obvious and local: define F_i using only j<i. That version satisfies the two orthogonality checks used later, and the choice of V_i is possible because H is infinite-dimensional. Because the manuscript as posted contains a circular construction in a main theorem's proof, I would not accept it without this correction, but the flaw is plausibly typographical and does not indicate a problem with the main rigidity theorem.","tokens_in":12590,"tokens_out":20254,"duration_ms":199620,"concrete_test":"Rewrite Claim 4.6 with F_i spanned by 1≤j<i and verify that (4.3) remains sufficient for the two displayed orthogonality equations. To confirm the flaw in the printed version, take a unitary U for which one compression S_i equals ε times a rank-one projection; with dim E_i=1, any one-dimensional M=V_i(E_i) satisfies ⟨S_i m,m⟩>0 for nonzero m, so no V_i can satisfy the printed condition. If the corrected induction goes through, Theorem 4.5 is restored.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Claim 4.6 in the proof of Theorem 4.5 defines, for each i, the subspace F_i using 1≤j≤i and then chooses V_i so that V_i(E_i) is orthogonal to the x_i-component of F_i. The j=i term is U^* /BD_{C_i} U (/BD_{x_i}⊗V_i)(E_i), so the construction is self-referential. On the x_i-coordinate this term acts by the positive compression S_i = /BD_{x_i} U^* /BD_{C_i} U /BD_{x_i}; the required condition would force S_i|_{V_i(E_i)}=0, and there is no reason ker S_i has dimension at least dim E_i. Thus the proof of the key approximation in Theorem 4.5, and hence of Theorem B, is not valid as written. Theorem A uses only the earlier material and does not depend on Claim 4.6, so the main rigidity statement is not threatened by this particular gap. The natural repair is to let j range over 1≤j<i; then the displayed orthogonality checks still work because the only cross-term needing (4.3) has j<i, and existence of V_i follows from infinite-dimensionality of H.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves Theorem A: for uniformly locally finite metric spaces X and Y, any isomorphism between their Roe algebras (or between their uniform Roe algebras or their C*_cp algebras) implies that X and Y are coarsely equivalent. The proof introduces a new concentration inequality for Hilbert-space-valued vectors (Proposition 3.2) and combines it with prior results on spatial implementation and weak approximate control of implementing unitaries. The paper then proves Theorem B: for a uniformly locally finite space X, the natural homomorphism from the group of coarse equivalences up to closeness to the outer automorphism group of the Roe algebra is an isomorphism. Theorem B is derived from a refinement, Theorem 4.5, asserting that implementing unitaries are norm limits of operators coarsely supported on a coarse equivalence constructed as in Theorem A.","tokens_in":12849,"tokens_out":21294,"duration_ms":262777,"significance":"If correct, this settles the C*-rigidity problem for bounded geometry metric spaces, a question that has been studied intensively since Špakula and Willett's early work. The concentration inequality in Proposition 3.2 is a clean and potentially reusable tool, and the extension of rigidity from uniform Roe algebras to the full Roe algebra and to C*_cp algebras is a substantial advance. The main rigidity proof, Theorem A, appears sound: the construction of the coarse equivalence via weak approximate control is the expected route and the terse steps can be filled in by applying Lemma 2.13 to the adjoint unitary. The proof of Theorem B, however, contains a repairable gap in Claim 4.6 that must be fixed before the paper is fully correct.","major_comments":[{"comment":"The subspace F_i is defined using 1≤j≤i, so the j=i term, U*P_{C_i}U(P_{x_i}⊗V_i)(E_i), depends on V_i itself; the subsequent choice of V_i satisfying (4.3) is therefore circular. In coordinates, (4.3) would force S_i|_{V_i(E_i)}=0, where S_i = P_{x_i}U*P_{C_i}U P_{x_i} is a positive operator, and there is no reason that ker S_i has dimension at least dim E_i. Consequently the existence of V_i, and with it the approximation statement of Claim 4.6 and the proof of Theorem 4.5, is not established as written. The gap is local and repairable: define F_i using only 1≤j<i (or j<i); then the only cross-terms requiring (4.3) are those with j<i, and a unitary V_i exists because one only needs to arrange V_i(E_i) to be orthogonal to a finite-dimensional subspace of the infinite-dimensional x_i-fibre. Since Theorem B relies on Theorem 4.5, this is a load-bearing point, although Theorem A is unaffected.","section":"Section 4, Claim 4.6 (Eqs. (4.1)–(4.3))"}],"minor_comments":[{"comment":"The assertion that a bounded geometry metric space is coarsely equivalent to a uniformly locally finite metric space is stated without proof or reference. Because the title promises the bounded-geometry version of the rigidity theorem, a citation or a brief justification would help the reader.","section":"Remark 1.1"},{"comment":"The applications of Lemma 2.13 showing that g is controlled and that g∘f is close to the identity are quite terse. In both cases the lemma is applied to the adjoint unitary U* with an input set that is a suitable ball or union of balls; a short explanatory sentence would make the argument easier to follow.","section":"Section 3.2, proof of Theorem A"}],"recommendation":"major_revision","confidential_remarks":"The gap in Claim 4.6 is readily fixable by changing the range of j in the definition of F_i, and it does not affect Theorem A. I recommend major revision rather than rejection, provided the authors implement the repair and make sure the induction in Claim 4.6 is written carefully. The authors may also want to add a reference for the bounded-geometry discretization statement in Remark 1.1."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The main rigidity theorem (Theorem A) is real and important, and Proposition 3.2's concentration inequality is the genuine new input; it looks correct. But the stress-test note is right: Claim 4.6 in the proof of Theorem 4.5 is circular as written, so Theorem B's proof has a gap. It is a small gap and the natural repair works, but the submitted version needs a fix.\n\nWhat the paper does well: it proves C*-rigidity for ordinary Roe algebras of uniformly locally finite metric spaces without property A or coarse embeddability. That is the missing piece in the rigidity program. The concentration inequality (Prop 3.2) is a real technical advance, and the proof of Theorem A follows the standard scheme carefully. Theorem B removes property A from the outer automorphism computation, which is a natural strengthening.\n\nThe problem: in Claim 4.6, F_i is defined using 1≤j≤i, so the j=i term contains V_i before V_i has been chosen. Condition (4.3) then asks that V_i(E_i) lie in the kernel of the positive compression S_i = /BD_x_i U^* /BD_C_i U /BD_x_i, and nothing guarantees that kernel is large enough. The fix is to let j range over 1≤j<i; then F_i is independent of V_i, the orthogonality checks still work because the only cross-term needing (4.3) has j<i, and existence of V_i follows from H being infinite-dimensional. That repair appears sound, and with it Theorem 4.5 and Theorem B go through.\n\nThe paper leans on external results for spatial implementation and weak approximate control (Theorems 2.14 and 2.15). Those are standard and not a problem. The reduction in Remark 1.1 from bounded geometry to uniformly locally finite spaces is folklore and fine.\n\nBottom line: this deserves a serious referee. Theorem A is a substantial result with a solid proof. Send it out, and ask the authors to fix Claim 4.6 or confirm the j<i repair before publication.","headline":"Theorem A is the real result and its proof is solid; Theorem B has a small, repairable gap in Claim 4.6, so the paper needs a fix before publication.","tokens_in":13340,"tokens_out":9553,"would_cite":true,"duration_ms":77577,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C24","48L89","51F30","52C25","51K05"],"pacs":[],"model":"deepseek-v4-flash","headline":"Uniformly locally finite metric spaces with isomorphic Roe algebras are coarsely equivalent; the same rigidity holds for the uniform and controlled-propagation algebras, and outer automorphisms are exactly coarse equivalences up to…","keywords":["Roe algebras","C*-rigidity","coarse equivalence","bounded geometry","uniformly locally finite","outer automorphism group","concentration inequality","coarse geometry"],"falsifier":"A concrete refutation would be a pair of uniformly locally finite metric spaces $X$ and $Y$ (for instance, graphs with different growth or expander behaviour) admitting a *-isomorphism $C^*_{\\mathrm{Roe}}(X) \\cong C^*_{\\mathrm{Roe}}(Y)$ while no coarse equivalence between them exists; alternatively, an explicit outer automorphism of a Roe algebra not induced by a coarse self-equivalence would disprove Theorem B.","tokens_in":12412,"feed_emoji":"🔗","tokens_out":12115,"duration_ms":109411,"temperature":0.7,"pith_summary":"Two uniformly locally finite metric spaces with isomorphic Roe algebras must be coarsely equivalent: that is the paper's Theorem A, solving the C*-rigidity problem for bounded geometry metric spaces. The same conclusion holds for the uniform Roe algebra and the controlled-propagation algebra. Since every bounded geometry space is coarsely equivalent to a uniformly locally finite one, the theorem covers all spaces of bounded geometry, so the coarse type is a complete invariant of these operator algebras. Theorem B goes further and shows the outer automorphism group of the Roe algebra is canonically isomorphic to the group of coarse equivalences up to closeness, making the correspondence functorial.","feed_headline":"Isomorphic Roe algebras force coarse equivalence","feed_subtitle":"The C*-rigidity problem for bounded geometry metric spaces is solved: Roe algebras determine coarse type.","key_machinery":"The machinery is Proposition 3.2, a concentration inequality for unitaries $U:\\ell^2(X;H)\\to\\ell^2(Y;H)$. It says: if for a fixed ball $B(y;R)$ every basis vector $U\\chi_x$ has norm at most $\\delta$ on that ball, then some subset $A\\subseteq X$ has $\\|(1-\\chi_{B(y;R)})U\\chi_A U^*\\chi_y\\|\\ge \\tfrac12(1-\\delta^2)^{1/2}$, a corner of large norm that jumps over a distance $>R$. The proof averages over Rademacher signs and uses the Hilbert-space identity $\\mathbb{E}\\|\\sum\\varepsilon_n v_n\\|^2=\\sum\\|v_n\\|^2$. Combined with weak approximate control of implementing unitaries from Theorems 2.14 and 2.15, the inequality produces the controlled maps that witness coarse equivalence.","core_discovery":"The central discovery is that the coarse geometry of a uniformly locally finite space can be read off from the fine matrix-coefficient structure of any unitary implementing an isomorphism of its Roe algebra. The authors show that every such unitary is weakly approximately controlled, and then prove a concentration inequality that forces the unitary to have uniformly large matrix entries along some map $g:Y\\to X$; symmetry gives a map $f:X\\to Y$, and a lemma on weakly controlled operators upgrades the large entries into the statement that $f$ and $g$ are controlled and mutually close. Theorem A states this for $C^*_{\\mathrm{Roe}}$, $C^*_u$, and $C^*_{cp}$. Theorem B refines the construction: any implementing unitary is a norm limit of operators coarsely supported on the constructed coarse equivalence, which yields the canonical isomorphism $\\tau:\\mathrm{CE}(X)\\to \\mathrm{Out}(C^*_{\\mathrm{Roe}}(X))$.","pith_inferences":["Inference: the concentration inequality uses only Hilbert-space coefficients and the metric, so the same mechanism should prove rigidity for other Roe-like algebras, such as quasi-local operator algebras, whose isomorphisms are spatially implemented and weakly approximately controlled.","Inference: Theorem 4.5 explicitly uses infinite-dimensionality of $H$, so a finite-dimensional analogue of the norm-limit support statement would need new ideas; whether finite-dimensional coefficients give the same canonical description of outer automorphisms is a natural test.","Inference: the inequality is a quantitative statement about how unitaries localize vectors, and it can be read as an uncertainty-type bound for coarse-like operators, potentially useful outside C*-rigidity."],"forward_implications":["The C*-rigidity problem for bounded geometry metric spaces is settled: the Roe algebra, the uniform Roe algebra, and the controlled-propagation algebra each determine the coarse type of the space.","The outer automorphism group of the Roe algebra is a complete invariant of the coarse equivalence class, canonically isomorphic to the group of coarse self-equivalences up to closeness.","Every automorphism of the Roe algebra is outer-equivalent to an automorphism implemented by a unitary covering a coarse equivalence, so non-inner automorphisms are exactly the nontrivial coarse self-equivalences.","The automorphism groups and outer automorphism groups of $C^*_{\\mathrm{Roe}}(X;H)$ and $C^*_{cp}(X;H)$ coincide, so rigidity results transfer between the two algebras.","The rigidity statements hold for arbitrary coefficient Hilbert spaces $H$, not only the standard separable one."],"supporting_citations":[{"why":"Supplies the spatial-implementation theorem for Roe-algebra isomorphisms and the original strategy of extracting coarse equivalences from such isomorphisms.","marker":"[34]"},{"why":"Provides Lemma 6.1, the spatial-implementation statement for isomorphisms and embeddings of uniform Roe algebras that the proof invokes together with [34].","marker":"[9]"},{"why":"Supplies the weakly approximately controlled property of implementing unitaries and the earlier Gelfand-duality framework for the outer automorphism group.","marker":"[12]"},{"why":"Proved the uniform Roe algebra case of rigidity, which Theorem A extends to the Roe algebra and the controlled-propagation algebra.","marker":"[2]"},{"why":"Established the rigidity route for uniform Roe algebras over uniformly locally finite spaces that the proof follows and adapts.","marker":"[7]"},{"why":"Gives the forward direction that coarse equivalences induce Roe-algebra isomorphisms, the converse of which is the rigidity statement.","marker":"[21]"}],"fun_headline_variants":["Roe algebras pin down coarse geometry","Coarse equivalence is algebraic: Roe rigidity","Roe algebra isomorphisms reveal coarse type","Outer automorphism group equals coarse equivalences","C*-rigidity: Roe algebras decide coarse space"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing hypothesis is uniform local finiteness of the metric spaces, with the bounded-geometry extension relying on the asserted reduction of every bounded geometry space to that case by coarse equivalence.","fun_headline_variants_meta":{"raw":{"variants":["Roe algebras pin down coarse geometry","Coarse equivalence is algebraic: Roe rigidity","Roe algebra isomorphisms reveal coarse type","Outer automorphism group equals coarse equivalences","C*-rigidity: Roe algebras decide coarse space"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000293,"raw_usage":{"total_tokens":1612,"prompt_tokens":756,"completion_tokens":856,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":372,"completion_tokens_details":{"reasoning_tokens":797}},"tokens_in":372,"tokens_out":856,"duration_ms":8304,"temperature":1.0,"reasoning_tokens":797,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T21:55:54.934733+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete refutation would be a pair of uniformly locally finite metric spaces $X$ and $Y$ (for instance, graphs with different growth or expander behaviour) admitting a *-isomorphism $C^*_{\\mathrm{Roe}}(X) \\cong C^*_{\\mathrm{Roe}}(Y)$ while no coarse equivalence between them exists; alternatively, an explicit outer automorphism of a Roe algebra not induced by a coarse self-equivalence would disprove Theorem B.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the spatial-implementation theorem for Roe-algebra isomorphisms and the original strategy of extracting coarse equivalences from such isomorphisms."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides Lemma 6.1, the spatial-implementation statement for isomorphisms and embeddings of uniform Roe algebras that the proof invokes together with [34]."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the weakly approximately controlled property of implementing unitaries and the earlier Gelfand-duality framework for the outer automorphism group."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Proved the uniform Roe algebra case of rigidity, which Theorem A extends to the Roe algebra and the controlled-propagation algebra."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Established the rigidity route for uniform Roe algebras over uniformly locally finite spaces that the proof follows and adapts."},{"cited_title":"Higson, J","cited_arxiv_id":null,"evidence_quote":"Gives the forward direction that coarse equivalences induce Roe-algebra isomorphisms, the converse of which is the rigidity statement."}],"review_version":1}