{"id":"3889f18a-29dc-4c22-b363-15a5307d70e2","arxiv_id":"2607.08583","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.5,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Statistics of G-conserved invertible mixed-dimensional excitations in d-space are classified by H^{d+2}(BG; R/Z) and realized as boundary excitations of an ω-twisted higher-group gauge theory.","lead":"The paper classifies statistics of mixed-dimensional excitations with intertwined conservation laws via local hopping-operator algebras. For invertible cases these are given by cohomology of the classifying space of a higher group, realized holographically on the boundary of a twisted higher-group gauge theory.","discovery_kind":"unification","skeptic_critique":{"model":"grok-4.5","headline":"The Abelian embedding of Theorem V.1 is only one-sided; the higher-group claim inherits the same unproved isomorphism.","rationale":"The reader correctly isolates the unproved isomorphism as the weakest assumption. The Abelian theorems (V.1, V.3, V.4) rigorously give injectivity of the WZW map and local detectability; the higher-group and non-invertible extensions are explicitly conjectural. No internal contradiction appears, and the holographic construction is consistent with known special cases (fermions, Abelian anyons, Z_{2} strings). The concern therefore does not overturn the conditional verdict; it simply confirms that the strongest claim remains conditional on the missing reverse inclusion. A direct computation of T^* for the simplest sphere would settle whether the gap is merely technical or substantive.","tokens_in":58554,"tokens_out":540,"duration_ms":5881,"concrete_test":"For the elementary case m_2(\\partial\triangle^{3},Z_{2}) (or any fixed triangulation of S^{2}), compute the discrete group T^*(m) by the finite linear-algebra algorithm of Ref. [16] and compare its order with |H^{4}(K(Z_{2},2);R/Z)|=4. If |T^*|>4, the embedding is proper and the classification claim fails for that complex; if equality holds for several spheres, the conjecture gains concrete support.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The abstract and Conjecture VI.2 assert that LOsAs for G-conserved invertible excitations are classified by H^{d+2}(BG;R/Z). Theorem V.1 only constructs a canonical embedding H^{d+2}(K(G,q),R/Z)\to T^*(m_q(X,G)) for Abelian higher-form cases (via the WZW boundary realization of §V and App. C). Surjectivity is left as Conjecture IV.1 of the authors’ prior work and is never proved for generic combinatorial spheres. The higher-group statements (Conjectures VI.1–VI.2) and the fully-pointed fusion-category classification of §VII rest on the same unproved identification of statistics with cohomology. Without the reverse inclusion, the claimed classification is only a lower bound: every cohomology class produces a distinct LOsA, but it is not shown that every LOsA arises this way. The holographic construction therefore supplies existence and injectivity, not the full classification asserted in the strongest claim.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper defines statistics of mixed-dimensional excitations via hopping-operator algebras (LOsAs) that encode conservation laws. For Abelian higher-form conservation (G-valued q-cocycles), it constructs an explicit WZW-boundary realization of hopping operators and configuration states from a cocycle ω ∈ Z^{d+2}(K(G,q),R/Z), proving a canonical embedding H^{d+2}(K(G,q),R/Z) ↦ T^*(m_q(X,G)) (Theorem V.1) with dual surjection on statistical processes; cohomologous cocycles differ only by rephasing. The same data supply a holographic bulk: the excitations live on the boundary of an ω-twisted higher-form gauge theory. The authors conjecture that the same cohomology class classifies LOsAs for invertible (fully pointed) excitations of a general higher group G, and that non-invertible mixed-dimensional statistics are classified by fusion d-categories. Supporting material includes prism-integral descendants, transfer of statistical processes, an anomaly/statistics dictionary, and worked examples (fermions, Abelian anyons/strings, mixed Z_2 particle-string systems with Serre spectral-sequence computations).","tokens_in":58809,"tokens_out":1740,"duration_ms":26899,"significance":"If the classification claims hold, the work unifies mixed-dimensional statistics, conservation laws, and holographic bulk theories under a single cohomological/categorical language, extending Fermi statistics and anyon braiding to intertwined particle-string systems and higher groups. The Abelian construction is concrete and usable: Theorem V.1, the descendant calculus (Sec. V A, App. C–E), and the prism integration give an algorithmic route from cocycles to hopping operators, while the examples (Secs. VIII A–E, App. I) produce falsifiable spacetime constraints (e.g., w_3-structure for Z_2 strings) and order-4 statistics for twisted particle-string systems. The proved embedding and holographic existence results are already of independent value for lattice models and bosonization, even before the reverse inclusion and higher-group conjectures are settled.","major_comments":[{"comment":"Abstract and opening claim: the abstract states that for G-conserved invertible excitations the LOsA “is classified by” [ω] ∈ H^{d+2}(BG;R/Z) and that “we show” this. In the body, Theorem V.1 only constructs a canonical embedding H^{d+2}(K(G,q),R/Z) ↦ T^*(m_q(X,G)) for Abelian higher-form conservation, with surjectivity left as Conjecture IV.1 of prior work (explicitly unproved for generic combinatorial spheres). Higher-group statements are Conjectures VI.1–VI.2. The abstract and strongest claim therefore assert a full classification where only injectivity/existence is proved. Please rephrase the abstract and introduction to match the proved embedding plus conjectural reverse inclusion, or prove the reverse inclusion.","section":null},{"comment":"Theorem V.1 and Conjecture IV.1: the dual map T(m_q) ↠ H^{d+2}(K(G,q),Z) is a surjection on statistical processes, but the identification T^* ≅ H^{d+2} remains one-sided for generic X. Because the paper’s central classification slogan rests on this isomorphism, either (i) restrict all classification statements to the image of the embedding, or (ii) supply a proof (or a sharp reduction) of surjectivity for combinatorial spheres. Leaving the reverse inclusion as an external conjecture undercuts the claim that every LOsA of this type arises from a cohomology class.","section":null},{"comment":"Section VI (Conjectures VI.1–VI.2) and Section VII: the higher-group and fully-pointed fusion-category classification are presented as the natural extension of the Abelian theorem, yet no axiomatic realization of the excitation complex or locality axiom is given for non-Abelian higher groups (only a sketch in App. B). The mathematical equivalence “fully-pointed fusion n-category ↔ (G,[ω])” supports the conjecture but does not prove that every LOsA realizing a higher-group conservation law is captured by H^{d+2}(BG;R/Z). Either demote these statements clearly to conjectures throughout (including the abstract’s “we show” language) or add a precise reduction to the Abelian case / a definition of T^* for higher groups.","section":null},{"comment":"Section V D and Table I: the claim that “a symmetry anomaly manifests itself as nontrivial statistics of symmetry defects” is physically appealing and consistent with the constructions, but the table equates transformation-patch operators with hopping operators and anomaly indicators with statistical processes while noting “we are not very sure about it.” If this dictionary is load-bearing for the holographic interpretation, it needs a theorem (or a counter-example free statement of scope); otherwise mark it as heuristic so that the proved embedding is not read as depending on it.","section":null}],"minor_comments":[{"comment":"Notation: the paper mixes multiplicative U(1) and additive R/Z conventions; a short global convention paragraph (beyond Sec. II) would reduce ambiguity in phases e^{2πi∫} vs (-1)^{∫}.","section":null},{"comment":"Eq. (41) vs Theorem V.1: the prior-work isomorphism for X=∂Δ^{d+1} is cited as proved, while the generic-sphere case is conjectural; cross-references should flag this distinction whenever T^* ≅ H^{d+2} is invoked.","section":null},{"comment":"Section VIII E: the belief that H^{d+2}(K_1,R/Z)=Z_4 for d>3 is stated without a full spectral-sequence argument (only d=2,3 are treated carefully). Label it as a conjecture or sketch the missing pages.","section":null},{"comment":"Appendix A: the Majorana realization correctly relaxes orthogonality of configuration states; a one-sentence pointer in Def. IV.2 would help readers who know only the stricter definition of Ref. [16].","section":null},{"comment":"Typos/style: occasional missing articles and inconsistent hyphenation (“higher group” / “higher-group”); “prop ersubalgebra” line break in the introduction; “cohain” in Sec. II.","section":null},{"comment":"References: the link between LOsAs and braided fusion d-categories in the trivial Witt class cites [18,34,35]; a brief comparison with the Doplicher–Haag–Roberts reconstruction already listed as [43,44] would orient algebraic readers.","section":null}],"recommendation":"major_revision","confidential_remarks":"The technical core (Abelian WZW → hopping operators, App. C proof, examples, Serre computation) is solid and publishable. The main risk is abstract/intro overclaim relative to Theorem V.1 and Conjectures VI.1–VI.2; once language is aligned with what is proved versus conjectured, the paper is appropriate for a strong condensed-matter/mathematical-physics venue. No novelty or citation-pattern concerns."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The punchline is that Xue–Wen give a clean, explicit way to turn a cohomology class into a hopping-operator algebra for Abelian higher-form conservation laws, and they show the resulting statistics are nontrivial precisely when the class is nontrivial. That part is proved (Theorem V.1 + App. C) and is useful. The abstract’s stronger claim—that every G-conserved invertible LOsA is classified by H^{d+2}(BG;R/Z)—is only an embedding plus the same unproved isomorphism they already flagged in earlier work.\n\nWhat is new and well done: the holographic dictionary that produces the boundary hopping operators U(s) from the second descendant L of a bulk WZW cocycle, the prism-integration recipe that actually constructs those descendants, the transfer of statistical processes from the simplex boundary to a general combinatorial sphere, and the concrete mixed Z2 particle–string examples (especially the order-4 generator for the twisted Postnikov system). The appendices on cochain identities, Serre spectral sequence for the d=3 case, and the comparison of statistics versus anomalous symmetry are careful and reusable. The Abelian theorems recover Fermi, anyon and string statistics as special cases without hand-waving.\n\nSoft spots, in proportion: the reverse inclusion T* ↠ H^{d+2} remains Conjecture IV.1 of their prior paper and is never proved for generic spheres; the higher-group Conjectures VI.1–VI.2 and the fully-pointed fusion-category statement in §VII simply inherit that gap. So the paper rigorously shows “every cocycle gives a distinct LOsA,” not “every LOsA arises this way.” That is a real limitation on the classification claim, but it is clearly labeled and does not undermine the constructive half. No circularity, no free parameters, citations are appropriate.\n\nThis is for people already working on higher-form symmetries, string statistics or lattice realizations of mixed-dimensional anyons. It is not a first-read introduction. I would send it to referees: the Abelian core is solid enough to deserve scrutiny, and the mixed examples are concrete enough to check independently. Engage if you care about the operator-algebra side of topological order; treat the full higher-group classification as a well-motivated conjecture until the reverse map is filled in.","headline":"Solid Abelian holographic construction of hopping algebras from WZW data; the full higher-group classification is only an embedding plus conjectures, not a proved isomorphism.","tokens_in":59390,"tokens_out":564,"would_cite":true,"duration_ms":8497,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.5","headline":"Statistics of invertible mixed-dimensional excitations conserved by a higher group G are classified by a single cohomology class in H^{d+2}(BG; R/Z).","keywords":["mixed-dimensional statistics","hopping-operator algebra","higher groups","fusion categories","WZW terms","holographic realization","invertible excitations","conservation laws"],"falsifier":"Compute the discrete statistics group T* of the hopping algebra on the boundary of a (d+1)-simplex for a concrete Abelian higher group and check whether it equals the predicted cohomology group H^{d+2}(BG; R/Z).","tokens_in":59462,"feed_emoji":"🌀","tokens_out":894,"duration_ms":11834,"temperature":0.7,"pith_summary":"The paper defines quantum statistics of point, string, and higher excitations through the algebra of local hopping operators that move them while preserving conservation laws. For invertible excitations whose fusion rules come from a higher group G, that algebra—and therefore the statistics—is completely classified by a cohomology class [ω] in H^{d+2}(BG; R/Z). Changing the class by a coboundary only rephases the operators, so the physical statistics are an invariant of the class. The same class supplies a holographic picture: the excitations live on the boundary of a G higher-group gauge theory twisted by ω in one higher dimension. More generally, non-invertible mixed-dimensional statistics are classified by fusion d-categories, recovering the higher-group story as the fully pointed special case.","feed_headline":"One cohomology class classifies mixed-dimensional statistics","feed_subtitle":"Invertible excitations of a higher group live on the boundary of a twisted gauge theory","key_machinery":"The hopping-operator algebra (local operator subalgebra, LOsA) generated by weakly local operators that move or deform excitations while preserving the conservation law; its discrete classification relative to a fixed excitation complex is the statistics.","core_discovery":"For G-conserved invertible excitations in d-dimensional space the corresponding hopping-operator algebra (and hence the statistics it defines) is classified by a cohomology class [ω] ∈ H^{d+2}(BG; R/Z); rephasing of local operators corresponds only to coboundaries. The same class realizes the excitations holographically as boundary degrees of freedom of an ω-twisted G higher-group gauge theory.","pith_inferences":["The same cohomology class that classifies the anomaly of a higher-group symmetry also classifies the statistics of its defects, giving a concrete dictionary between anomaly indicators and measurable braiding phases.","Lattice models whose hopping operators realize a nontrivial class should exhibit protected ground-state degeneracy or anomalous edge modes even without an explicit bulk topological order.","The framework suggests a systematic way to engineer mixed-dimensional anyons by choosing Postnikov data of G and a cocycle twist, then reading off the allowed statistical processes."],"forward_implications":["Fermi statistics, Abelian anyon statistics, and Abelian string statistics in any dimension all arise as special cases of the same cohomology class.","Nontrivial Z2 string statistics in 3+1D require spacetime to admit a w3-structure, the precise analogue of a spin structure for fermions.","A mixed Z2-particle–string system with twisted conservation law has statistics forming a Z4 group for d>2 (Z2 for d=2), linked to p-wave superconducting strings and fermionic bosonization.","Any statistics classified by the cohomology can be detected by a local statistical process supported near a single top-dimensional simplex.","Non-pointed conservation laws and their statistics are classified by fusion d-categories, exactly as generalized symmetries are."],"fun_headline_variants":["Cohomology class [ω] classifies G-conserved excitation statistics","H^{d+2}(BG;R/Z) sets the hopping-operator algebra for invertible stats","Invertible mixed-dim stats realized as boundary of twisted G-gauge theory","One [ω] classifies LOsA and mixed-dimensional statistics of higher-group defects","Hopping algebras of G-excitations classified by higher-group cohomology"],"cache_read_input_tokens":49280,"weakest_assumption_plain":"The map from cohomology classes to statistics is assumed to be an isomorphism for generic combinatorial spheres, and the higher-group and non-invertible extensions rest on the same unproved identification.","fun_headline_variants_meta":{"raw":{"variants":["Cohomology class [ω] classifies G-conserved excitation statistics","H^{d+2}(BG;R/Z) sets the hopping-operator algebra for invertible stats","Invertible mixed-dim stats realized as boundary of twisted G-gauge theory","One [ω] classifies LOsA and mixed-dimensional statistics of higher-group defects","Hopping algebras of G-excitations classified by higher-group cohomology"]},"model":"grok-4.5","effort":"low","cost_usd":0.00853,"raw_usage":{"total_tokens":2025,"prompt_tokens":905,"num_sources_used":0,"completion_tokens":113,"cost_in_usd_ticks":85300000,"prompt_tokens_details":{"text_tokens":905,"audio_tokens":0,"image_tokens":0,"cached_tokens":0},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1007,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":905,"tokens_out":113,"duration_ms":9112,"temperature":1.0,"reasoning_tokens":1007,"cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-10T04:49:16.594480+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Compute the discrete statistics group T* of the hopping algebra on the boundary of a (d+1)-simplex for a concrete Abelian higher group and check whether it equals the predicted cohomology group H^{d+2}(BG; R/Z).","supporting_citations":[],"review_version":1}