{"id":"6c5ea9c2-fe8b-40d2-90f8-b3427927606c","arxiv_id":"2607.23817","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Unital separable ASH algebras with subquadratic growth and no nonzero finite-dimensional representations have uniform property Γ, making quadratic growth the precise threshold for its failure.","lead":"Subquadratic dimension growth forces uniform property Γ for a large class of C*-algebras, while quadratic growth can fail it. This pins down a sharp geometric threshold for a key regularity property in the classification of operator algebras.","discovery_kind":"extension","skeptic_critique":{"model":"moonshotai/kimi-k3","headline":"The fragile point is not the rank-avoidance calculus but Lemma 2.5/Theorem 2.6: the nonsimple Winter–Vaccaro bridge must make the order-zero unit uniformly tracially large on every closed face of T(A), and the paper only asserts this by inspection.","rationale":"I agree with the reader that the load-bearing assumption is the §2.3 Vaccaro/Winter bridge rather than the new subquadratic perturbation machinery. The rest of the argument has checkable estimates: Proposition 2.3’s finite-spectrum approximation is sound; the θ,η,R choices in §§4–7 give dim<k² and k/r<θ with the strict inequalities needed; and the RSH induction correctly handles boundary values, clipping, and reducible finite-dimensional representations via additivity of kernels. I would not reject: the authors explicitly identify the relevant external lemmas and give a plausible reason simplicity is unused. But because the decisive uniform trace inequality for φ_j(1_n) is imported by proof-inspection rather than written in the nonsimple setting, acceptance should be conditional on that verification. The 2026 preprint dependencies and lack of formalization also support keeping confidence moderate rather than high. This concern is about correctness risk in one external bridge, not about circularity or novelty.","tokens_in":24308,"tokens_out":16297,"duration_ms":306835,"concrete_test":"Re-derive the finite-set instance of [Win12, Lemma 5.11] as used in Lemma 2.5 in an explicit two-face model, e.g. A=D⊕D with D a UHF algebra, extremal traces τ_1,τ_2, F={(1,0),(0,1)}, n=2. Check whether the construction yields a c.p.c. order-zero φ:M_2→A commuting with F to ε and satisfying min{τ_1(φ(1_2)),τ_2(φ(1_2))}>1−ε, without invoking simplicity/faithfulness. If the proof gives only pointwise or one-face largeness, Lemma 2.5 is not available as stated; if this uniform lower bound is recovered, the bridge survives the canonical nonsimple obstruction.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The transversality/RSH parts look internally consistent: the k² codimension count, the k=⌈θr/2⌉ arithmetic, and the relative pullback induction in §7 all have workable constants. The central claim therefore rests on §2.3. In Lemma 2.5 the authors need, for fixed n and dense finite sets F_j, c.p.c. order-zero maps φ_j:M_n→A that (i) almost commute with the chosen finite-nuclear-dimension approximants and (ii) satisfy τ(φ_j(1_n))>1−ε_j for every τ∈T(A). Only (ii) makes Φ(1_n)=1_{A_U}; without it the ultralimit map M_n→A_U∩ι_A(A)' is nonunital, so uniform McDuff and the final uniform-Γ computation in Theorem 2.6 fail. The text says [Win12, Lemma 5.11] is stated for simple A but that “inspection” shows simplicity/faithfulness/fullness are never used. That is exactly the least secure assertion: in a nonsimple algebra traces can be concentrated on proper closed faces/quotients, and a construction that is tracially large pointwise or on a full hereditary subalgebra need not be uniformly large on all extremal traces. The same exposure reappears in Theorem 2.6 through q_N fullness, [Vac26, Lemma 2.1], and the order-zero lift; those steps are standard only if the Φ they produce really is unital in the uniform tracial sense. I did not find a counterexample, but this is the single assumption whose failure would break Theorems 2.6, 7.11, and hence 1.2.","agreement_with_reader":"agree"},"referee_report":{"model":"moonshotai/kimi-k3","summary":"The paper proves that unital separable ASH algebras with subquadratic RSH dimension growth and no nonzero finite-dimensional representations have uniform property Γ (Theorem 1.2, via Theorem 7.11). The argument introduces property (FG), shows that it implies real rank zero of the uniform tracial ultrapower, and obtains (FG) from an iterated codimension-\\(k^2\\) rank-avoidance theorem for self-adjoint sections. Relative and nonunital versions handle RSH pullbacks and locally tracial approximation. Real rank zero is then converted into uniform McDuffness and uniform property Γ through a Vaccaro–Winter-type bridge. Together with the quadratic-growth counterexample in [Tom26], this is presented as identifying quadratic growth as the sharp threshold for possible failure of uniform property Γ.","tokens_in":24699,"tokens_out":17679,"duration_ms":838677,"significance":"If the bridge in §2.3 is fully secured, this is a substantial and sharp threshold result. It gives a Toms–Winter corollary for a broad class of ASH algebras and extends Elliott–Niu/Vaccaro-type local approximation results to the optimal subquadratic scale. A particular strength is that the quadratic threshold is derived from an explicit geometric mechanism—the codimension-\\(k^2\\) eigenvalue-multiplicity loci—rather than introduced as an unexplained technical hypothesis. The iterative Jacob transversality argument, its relative RSH form, and the parallel unital, nonunital, and RSH tracks are clearly organized and give quantitative constants that appear internally consistent. The optimality comparison with the quadratic counterexample makes the result especially useful.","major_comments":[{"comment":"§2.3, Lemma 2.5: the proof uses [Win12, Lemma 5.11] outside its stated simple-algebra setting, with only an “inspection” assertion. The required conclusion is strong: order-zero maps that almost commute with the approximants and satisfy τ(φ_j(1_n))>1−ε_j uniformly for every τ∈T(A). In a nonsimple algebra, trace estimates may degenerate on closed faces, so the precise reason that no faithfulness, fullness, or simplicity step is needed should be proved or cited from a result whose hypotheses explicitly cover this case. This lemma feeds Theorem 2.6 and hence Theorems 7.11 and 1.2. The later fullness and lifting steps in Theorem 2.6 appear standard once this unital uniform-trace estimate is in place.","section":"§2.3, Lemma 2.5"},{"comment":"The passage to a uniform θ_0<θ is not justified by Theorem 7.6 as stated. That theorem gives dim ker(π(b)−λ1)<θ dim π for each fixed finite-dimensional representation, which by itself allows ratios approaching θ across representations. The proof then defines θ_0 as a maximum over the finitely many blocks and asserts the bound for every irreducible representation. Please strengthen Theorem 7.6 to record the blockwise bound for every factor representation—e.g. via the classification of such representations as amplifications of block evaluations—or add the missing induction/classification argument. This estimate is the input to Theorem 7.9.","section":"§7.3, Corollary 7.7"}],"minor_comments":[{"comment":"Corollary 3.4 assumes compactness of T, but the displayed proof appears to choose δ uniformly from compactness of X and finiteness of Λ, with no use of compactness of T. In Theorem 4.2, the assertion that T_{n,i} is closed/compact is not justified by the displayed argument. Either prove that assertion or state Corollary 3.4 for all traces, if intended.","section":"§3.2 and §4.1"},{"comment":"Theorem 1.1 is stated for a unital simple non-elementary AH algebra, while Theorem 5.4 explicitly adds separability and nuclearity. Please harmonize the hypotheses or state that separability and nuclearity are part of the paper’s AH convention.","section":"§1 and §5.2"},{"comment":"In the nonunital arguments, η_δ(b−λ) is interpreted variously in a multiplier algebra, a corner of A**, and then in A. The intended componentwise functional calculus is understandable, but consistently distinguishing 1_{A**}, s_i, and 1_{M(B_i)} would make the estimates easier to audit.","section":"§6.2–§6.3"},{"comment":"The phrase “quadratic or faster / 2-norm linear or faster: uniform Γ may fail” should be identified as an existence/threshold statement, not as a claim that every algebra in those regimes fails uniform Γ. A reference or definition for the asserted equivalence with the 2-norm slow-growth scale would also help.","section":"Figure 1"},{"comment":"Several central citations are to recent arXiv preprints, especially [Vac26, Proposition 1.6 and Lemma 2.1], [EN25], and [Tom26]. Please pin the arXiv versions used, since lemma and theorem numbers may change.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The rank-avoidance portions look convincing to me, and my hesitation is concentrated at the interface with recent Vaccaro–Winter machinery. Because that interface is what permits the broad nonsimple ASH formulation, I recommend asking for a self-contained nonsimple bridge lemma or an appendix verifying the cited preprint results in the required generality. This is a rigor/documentation request, not a concern about the paper’s suitability or potential novelty."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The punchline is clean: subquadratic ASH/RSH growth (or the corresponding local tracial approximation) implies uniform property Γ whenever there are no nonzero finite-dimensional representations. Paired with Toms’ quadratic AH counterexample, quadratic growth is now the precise scale where uniform Γ can fail. That is a genuine structural clarification for the regularity side of classification.\n\nWhat is new is the matching positive theorem at the optimal scale, plus the relative rank-avoidance needed for arbitrary RSH pullbacks. The geometry is elementary and well-used: the exact-nullity locus has codimension k² (Lemma 3.1), so when dim X < k² you can iteratively avoid the strata via Jacob’s bundle transversality (Prop. 3.2 and the relative Prop. 7.4). That feeds property (FG), real rank zero of the uniform tracial ultrapower, and then the Vaccaro–Winter bridge. Parallel tracks for unital AH, non-unital homogeneous models, and full RSH are written carefully; the induction through pullbacks does not accumulate error with length. Citations look right and the argument is one-directional, not circular.\n\nThe soft spot is exactly where the stress-test points: Lemma 2.5 / Theorem 2.6. The authors claim that Winter’s order-zero almost-divisibility construction works without simplicity once tracial almost divisibility is assumed, and that the small full projections from ⊗(M_{2}⊕M_{3}) plus Vaccaro’s lemma give uniform tracial largeness on every closed face of T(A). I did not find a counter-example in the text, and for the simple non-elementary case that the main corollaries care about the issue evaporates. Still, “inspection shows simplicity is unused” is the least secure sentence in the paper; if the unit of the ultralimit map fails to be 1 uniformly, uniform McDuff and the final Γ computation break. Everything upstream of that bridge looks solid.\n\nThis is for people working on Toms–Winter, nuclear dimension, and dimension-growth thresholds. It deserves a serious referee. I would cite the threshold statement and the RSH local theorem. Send it out.","headline":"Subquadratic growth forces uniform Γ, and with Toms’ quadratic counterexample this pins the exact geometric threshold; the only real soft spot is the nonsimple Vaccaro–Winter bridge in §2.3.","tokens_in":25380,"tokens_out":607,"would_cite":true,"duration_ms":12460,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["46L35","46L05"],"pacs":[],"model":"grok-4.5","headline":"Subquadratic dimension growth forces uniform property Γ in ASH C*-algebras, so quadratic growth is the exact threshold where that property can fail.","keywords":["uniform property Γ","ASH algebras","dimension growth","Toms–Winter conjecture","recursive subhomogeneous algebras","rank avoidance","tracial ultrapowers","C*-algebras"],"falsifier":"Exhibit a unital separable ASH algebra with no finite-dimensional representations, strictly subquadratic growth in every RSH decomposition, yet whose uniform tracial ultrapower fails real rank zero or fails to be uniformly McDuff; or produce a local tracial RSH approximation at subquadratic scale that still blocks the Vaccaro-style bridge.","tokens_in":25119,"feed_emoji":"📐","tokens_out":911,"duration_ms":19001,"temperature":0.7,"pith_summary":"This paper proves that unital separable ASH algebras with subquadratic dimension growth always have uniform property Γ, provided they have no nonzero finite-dimensional representations. Uniform property Γ is a tracial divisibility condition that makes the Toms–Winter regularity conjecture hold automatically for simple nuclear C*-algebras. The authors show the same conclusion for the larger class of algebras that admit only local tracial approximation by recursive subhomogeneous building blocks at subquadratic scale. Paired with a recent quadratic-growth AH algebra that fails uniform property Γ, the result pins quadratic growth as the precise geometric cutoff: slower than quadratic, the property holds; at quadratic or faster, it may fail. The work matters because many natural nuclear C*-algebras are ASH, and any counterexample to Toms–Winter in that class would have to live at quadratic growth or above while still enjoying strict comparison—an unlikely pairing.","feed_headline":"Quadratic growth is the cutoff for uniform property Γ","feed_subtitle":"Subquadratic ASH algebras always have the property; a quadratic example shows the bound is sharp.","key_machinery":"Iterated rank-avoidance for self-adjoint sections of endomorphism bundles (and a relative form for RSH pullbacks). The eigenvalue-multiplicity locus of multiplicity at least k in Mr has real codimension k², so when base dimension d is less than k² one can perturb to keep spectral multiplicities below k, yielding the 2-norm estimates that force real rank zero of the uniform tracial ultrapower.","core_discovery":"Every unital separable ASH algebra with subquadratic growth has uniform property Γ whenever it has no nonzero finite-dimensional representations. Equivalently, separable unital C*-algebras with unital locally tracially subquadratic RSH approximation and no nonzero finite-dimensional representations have uniform property Γ. Together with the known quadratic counterexample, quadratic dimension growth is the precise geometric threshold governing potential failure of uniform property Γ.","pith_inferences":["If every unital simple separable nuclear C*-algebra with a trace is ASH, the result would cover the entire Toms–Winter landscape below the quadratic threshold.","The same codimension-k² geometry suggests that other multiplicity-controlled regularity properties may share the same quadratic cutoff.","Crossed-product applications that already use nonunital homogeneous local models can now run at the optimal subquadratic scale rather than the stricter flat-growth scale."],"forward_implications":["Simple non-elementary ASH algebras of subquadratic growth satisfy the Toms–Winter conjecture even when they fail finite nuclear dimension, Z-stability, and strict comparison.","Quadratic (equivalently 2-norm linear) dimension growth is the sharp geometric boundary for possible failure of uniform property Γ.","Locally tracially subquadratic homogeneous or RSH approximation alone is enough for uniform property Γ when there are no finite-dimensional representations.","Any ASH counterexample to Toms–Winter would need quadratic-or-faster growth paired with strict comparison."],"fun_headline_variants":["Subquadratic ASH algebras always carry uniform property Γ","Quadratic growth is the sharp threshold for uniform property Γ","Below quadratic growth, ASH algebras gain uniform property Γ","Uniform property Γ holds for all subquadratic ASH algebras","Quadratic scale precisely bounds failure of uniform property Γ"],"cache_read_input_tokens":128,"weakest_assumption_plain":"The step that turns real rank zero of the tracial ultrapower plus local finite nuclear dimension into uniform property Γ must still work for nonsimple algebras via small full projections inside the ultrapower.","fun_headline_variants_meta":{"raw":{"variants":["Subquadratic ASH algebras always carry uniform property Γ","Quadratic growth is the sharp threshold for uniform property Γ","Below quadratic growth, ASH algebras gain uniform property Γ","Uniform property Γ holds for all subquadratic ASH algebras","Quadratic scale precisely bounds failure of uniform property Γ"]},"model":"grok-4.5","effort":"low","cost_usd":0.00407,"raw_usage":{"total_tokens":1184,"prompt_tokens":704,"num_sources_used":0,"completion_tokens":61,"cost_in_usd_ticks":40704000,"prompt_tokens_details":{"text_tokens":704,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":419,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":704,"tokens_out":61,"duration_ms":8066,"temperature":1.0,"reasoning_tokens":419,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-30T11:28:07.102053+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit a unital separable ASH algebra with no finite-dimensional representations, strictly subquadratic growth in every RSH decomposition, yet whose uniform tracial ultrapower fails real rank zero or fails to be uniformly McDuff; or produce a local tracial RSH approximation at subquadratic scale that still blocks the Vaccaro-style bridge.","supporting_citations":[],"review_version":1}