{"id":"335dc23e-b75e-43c2-a4ed-11f4a029bf09","arxiv_id":"2608.08766","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For G=(Z2,Z2,triv,1), the authors classify anomalies via oriented and spin bordism in spacetime dimensions d<=5 and derive the (3+1)D SymTFT boundary conditions, including the equivalence of the anomalous symmetry category with 2sVect(Z4,2).","lead":"The paper computes the possible anomalies of a non-split 2-group symmetry, one that mixes a Z2 0-form and a Z2 1-form symmetry through a non-trivial Postnikov class, and maps out the 4D symmetry TFT descriptions and boundary phases for 3D theories. Generalist readers may care because such 2-groups arise naturally when gauging subgroups of gauge theories, so the anomaly tables and gapped phase diagrams apply across high-energy and condensed-matter models.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Twisted supercohomology comparison left open in Appendix B.3 is load-bearing for the anomalous categorical equivalence; a full twisted spin bordism check is needed.","rationale":"The reader's weakest_assumption identifies the same load-bearing concern: the three-layer twisted supercohomology SH^4_v is used to determine the fermionic anomaly class ϖ, while the paper explicitly leaves the comparison with the full twisted spin bordism dual open in Appendix B.3. This is not an external disagreement with consensus but an internal gap: the paper's own text flags the missing check, and that check directly supports the categorical equivalence 2Vect^omega_G ≃ 2sVect(Z4,2), which is part of the central claim. The oriented bosonic classification, including the Z2 anomaly in d=3, relies on H^4(BG;U(1)) and is independent of this issue. The spin bordism groups in Table 1 are computed via AHSS and ASS in Appendix C, not via SH^4_v, so the spin bordism classification itself is not directly undermined. However, the anomalous categorical description and the SymTFT boundary phases in Section 5.2 depend on the untested comparison. The reader's CONDITIONAL verdict is therefore appropriate: the authors should either prove the comparison or explicitly restrict the categorical equivalence claim to the regime where the three-layer approximation is known to be valid. No stronger objection is warranted given the extensive independent computations and the explicit self-identification of the gap.","tokens_in":58403,"tokens_out":4388,"duration_ms":46821,"concrete_test":"Compute the full twisted spin bordism group Ω̃^Spin_4(BZ2; v=a^2) (equivalently, Spin_{Z4} bordism for the non-split extension 1 → Z2^f → Z4 → Z2 → 1) using an independent Adams spectral sequence calculation, and compare its Pontryagin dual with SH^4_v(BZ2). In particular, determine whether the class represented by the cochain data (n2=0, n3=a^3) is trivial in the full dual. If the full group is larger than Z2, or that class is nontrivial, then the conclusion ϖ=0 in Section 4.2 is unsupported and the equivalence 2Vect^omega_G ≃ 2sVect(Z4,2) must be replaced by a twisted version, affecting the SymTFT boundary classification.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim includes the monoidal equivalence 2Vect^omega_G ≃ 2sVect(Z4,2) in Section 4.2, which determines the anomalous symmetry category and hence the SymTFT analysis in Sections 4.3 and 5.2. That equivalence rests on the assertion that the twisted supercohomology class ϖ is zero in SH^4_{a^2}(BZ2), following Example 4.13 of [177]. However, Appendix B.3 explicitly states that Brumfiel and Morgan did not treat v ≠ 0 and that the comparison of SH^n_v with the full twisted spin bordism dual 'has to be checked separately.' The paper uses this three-layer approximation as the input for the categorical classification without providing that check. If the full v-twisted spin bordism dual differs from SH^4_v, the conclusion ϖ = 0 could fail: there might be a nontrivial class with the same low-layer data (n2 = 0, n3 = a^3), which would replace 2sVect(Z4,2) by a twisted fermionic fusion 2-category 2sVect^ϖ_{(Z4,2)}. That would change the Drinfeld center decomposition (4.46) and the Lagrangian boundary conditions in Section 5.2. The bosonic oriented anomaly classification, e.g. Hom(Ω̃^SO_4(BG),U(1)) ≅ H^4(BG;U(1)) ≅ Z2, is independent of this issue and is not called into question here.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper analyzes the simplest finite non-split 2-group G = (Z2, Z2, triv, 1), with nontrivial Postnikov class β ∈ H³(BZ2;Z2). The anomaly classification for d ≤ 5 spacetime dimensions is obtained by computing the reduced oriented and spin bordism groups Ω̃^{SO}_{d+1}(BG) and Ω̃^{Spin}_{d+1}(BG) (Table 1), with full Serre spectral sequence, AHSS, and ASS derivations in Appendix C and explicit cochain representatives (v3, v4, and higher-degree classes) for the oriented anomalies in Section 3.2. For d = 3, the paper constructs the (3+1)D SymTFT in two cases: without the 2-group anomaly, where the Drinfeld center Z1(2Vect_G) is identified with Z1(2Vect^{πβ}_{Z2×Z2}), seven minimal Lagrangian algebras and their TQFT counterparts are classified (Tables 2 and 4), and the gapped phase structure is mapped out; with the anomaly ω (the generator of Hom(Ω̃^{SO}_4(BG),U(1)) ≅ Z2), the paper argues that the symmetry category is monoidally equivalent to the fermionic fusion 2-category 2sVect(Z4,2), proposes a Stiefel-Whitney-type Lagrangian (5.29), and classifies the two minimal topological boundary conditions (Table 3). Section 6 sketches physical realizations in Z2 gauge theory and free-fermion systems.","tokens_in":58697,"tokens_out":52148,"duration_ms":471593,"significance":"If the central claims hold, this is the first complete bordism classification and SymTFT/categorical-Landau analysis for a finite non-split 2-group symmetry, going beyond the split and toric 2-group cases in the literature. The paper's strengths are its explicitness and internal consistency: the spectral-sequence computations in Appendix C are laid out in unusual detail, the cochain-level anomaly actions (v3, v4, and the higher-degree representatives) are concrete and checkable, and several cross-checks are provided (e.g., SH³(BZ2) ≅ Z8 matching Ω̃^{Spin}_3(BZ2), and consistency of the twisted computation with [177, Ex. 4.13]). The conceptual highlight — a bosonic anomaly turning the 2-group symmetry category into a fermionic fusion 2-category 2sVect(Z4,2) — is interesting and potentially influential. The explicit phase diagrams (Tables 2, 3, 5, 6) and boundary condition classifications are falsifiable and of direct use for model building.","major_comments":[{"comment":"The derivation of the load-bearing equivalence 2Vect^ω_G ≃ 2sVect(Z4,2) in Section 4.2 rests on the assertion that ϖ = 0 in SH^4_{a²}(BZ2), a fact used to identify the anomalous symmetry category and hence to drive the Drinfeld-center and boundary analyses of Sections 4.3 and 5.2. However, Appendix B.3 states that for v ≠ 0 the twisted supercohomology SH^n_v is only a three-layer approximation, that Brumfiel and Morgan did not treat v ≠ 0, and that the comparison with the full twisted spin bordism dual 'has to be checked separately.' The paper then uses SH^4_v as the anomaly-theory input for the categorical classification in Section 4.2 without performing that check, so an unmodeled differential or extension in the full twisted spin bordism dual could in principle render the class with layers (n2 = 0, n3 = a³) nontrivial, replacing 2sVect(Z4,2) by 2sVect^ϖ_{(Z4,2)} and modifying Eq. (4.46) and the Lagrangian boundary conditions of Section 5.2. I note that the concern is likely resolvable: for reduced degree 4, only the AHSS rows q = 0,1,2 contribute (the q = 3 coefficient group vanishes and the q = 4 row is the point contribution removed by reduction), so the three-layer model is complete in this degree. The authors should either add this argument, or state explicitly that the categorical claim follows from the algebraic supercohomology of [177, Examples 4.12 and 4.13], which is the input required by Theorem 4.1 and is logically independent of the bordism-theoretic identification.","section":"§4.2 and Appendix B.3"}],"minor_comments":[{"comment":"The superscript formatting in the first two rows of Table 1 (e.g., 'Z2²' in the H-row at d+1 = 5 and 'Z2³' in the Ω̃^SO row) is easy to misread; using explicit direct-sum notation such as Z2 ⊕ Z2 and Z2 ⊕ Z2 ⊕ Z2 would improve readability.","section":"Table 1"},{"comment":"In Eq. (5.11), the symbol β in 'a1 ∪ a2 ∪ βa2' appears to denote the Bockstein homomorphism, which clashes with the Postnikov class β used throughout the paper; please define this symbol or rename it.","section":"Eq. (5.11)"},{"comment":"The equality π0(2Vect^ω_G) = π0(2Vect_G) is asserted in Eq. (4.25) with only a physical intuition in its support; a brief justification (the anomaly modifies the associator, not the set of simple objects) would be helpful.","section":"§4.2"},{"comment":"The notation SH^{n+v}(BGb), with the remark that 'n+v means degree n with twist v; it is not a sum of degrees,' is confusing; SH^n_v(BGb) is unambiguous and should be used throughout.","section":"Appendix B.3"},{"comment":"For the spin cases, only the bordism groups in Table 1 are reported, while explicit cochain or topological actions are given only for the oriented anomalies; a sentence indicating that the spin anomaly theories are classified by Table 1 but their explicit actions are left for future work would be helpful.","section":"§3.2 and Table 1"}],"recommendation":"major_revision","confidential_remarks":"To the editor: The paper is a careful and detailed contribution to the SymTFT program for higher-group symmetries; the bordism computations in Appendix C appear internally consistent and the paper is commendably explicit about its caveats. The one issue that in my view requires revision is the status of the twisted supercohomology input in Section 4.2, which the authors themselves flag in Appendix B.3. I believe the gap is closable (in reduced degree 4 only the AHSS rows q=0,1,2 contribute, so the three-layer model is exact in that degree), and I have asked the authors to either make that argument or restructure the derivation to rest explicitly on the algebraic supercohomology of [177]. If they do so, I would consider the paper acceptable. The reliance on [177] for the key categorical inputs is appropriate and should be acknowledged more prominently in the main text."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First thing to know: this is a serious, mostly self-contained computation of the low-degree bordism classification for the simplest non-split finite 2-group G=(Z2,Z2,triv,1), plus an explicit SymTFT/categorical analysis for the d=3 anomalous case. The new content is real: the cohomology of BG and the oriented/spin bordism groups Ω̃_{d+1}^{SO/Spin}(BG) for d≤5 were not in the literature for this non-split group. The spectral-sequence work in Appendix C is detailed and cross-checked against known benchmarks, e.g. Ω̃_3^{Spin}(BZ2) ≅ Z8 appears as a consistency check. The cochain representatives for the anomaly actions are concrete and useful. I believe the bosonic oriented anomaly classification in Table 1 and Section 3.2 holds up; the homological input is transparent.\n\nThe categorical part is where the main uncertainty sits. Section 4.2 identifies 2Vect^ω_G ≃ 2sVect(Z4,2). The argument depends on SH^4_{a^2}(BZ2) ≅ Z2 and on the claim that ϖ=0 for the class with n2=0, n3=β. The paper cites Example 4.13 of [177] for the group, then uses the d2-exactness argument to conclude ϖ=0. But Appendix B.3 explicitly states that the three-layer twisted supercohomology SH_v is only an approximation and that its comparison with the full twisted spin bordism dual \"has to be checked separately\" because Brumfiel and Morgan did not treat v≠0. That is not a cosmetic caveat: the anomalous categorical equivalence, and hence the Drinfeld center decomposition (4.46) and the Lagrangian boundary analysis in Section 5.2, relies on this identification. If the full v-twisted spin bordism dual contains an extra class with n2=0, n3=a^3, the fermionic description would be a twisted 2sVect^ϖ_{(Z4,2)} rather than 2sVect(Z4,2), and parts of Table 3 would change. The paper should either prove the comparison or explicitly delimit which results are independent of it. The spin bordism groups Ω̃_*^{Spin}(BG) themselves are computed by AHSS/ASS and do not depend on that open comparison; the stress is on the categorical equivalence alone.\n\nMinor points: the SymTFT action (5.1) is already in the literature, which the authors acknowledge; the physical-boundary phase table is dense but readable. The Section 6 examples are brief but illustrative rather than load-bearing.\n\nOverall: a solid, useful paper that deserves refereeing. The central bosonic anomaly classification is credible; the anomalous categorical equivalence needs one additional check or a clearly stated conditional status. I would send it to a serious referee and ask the authors to address the SH_v comparison in revision.","headline":"Solid first computation of non-split 2-group bordism anomaly tables with a real soft spot: the anomalous categorical equivalence rests on an explicitly unverified twisted-supercohomology comparison.","tokens_in":59275,"tokens_out":2242,"would_cite":true,"duration_ms":23415,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper computes the oriented and spin bordism groups that classify anomalies of the simplest non-split 2-group symmetry through spacetime dimension $d=5$, and shows that the anomalous 2+1D symmetry category is the fermionic fusion…","keywords":["non-split 2-group symmetry","Postnikov class","'t Hooft anomaly","bordism classification","SymTFT","fusion 2-category","fermionic 2-category","categorical Landau paradigm"],"falsifier":"Compute the full twisted spin-bordism anomaly group $\\mathrm{Hom}(\\widetilde{\\Omega}^{\\mathrm{Spin}}_5(B\\mathcal{G};v),U(1))$ for the non-split extension $v=a^2$ and compare it with the paper's $\\mathrm{SH}^4_v(B\\mathbb{Z}_2)\\cong\\mathbb{Z}_2$; any additional torsion or a different group extension would break the identification $2\\mathrm{Vect}^{\\omega}_{\\mathcal{G}}\\simeq 2\\mathrm{sVect}_{(\\mathbb{Z}_4,2)}$. Equivalently, one could evaluate the proposed anomalous bulk action on a closed oriented 4-manifold with $w_2(TX)\\neq 0$ and check that the partition function equals $(-1)^{\\int_X b\\cup b+b\\cup_1 a^3+a^2\\cup b}$.","tokens_in":58208,"feed_emoji":"🔗","tokens_out":12075,"duration_ms":96317,"temperature":0.7,"pith_summary":"This paper works out the full anomaly structure and symmetry TFT of the simplest finite, non-split 2-group symmetry, whose $\\mathbb{Z}_2$ 0-form and $\\mathbb{Z}_2$ 1-form symmetries are locked together by a non-trivial Postnikov class. For physical theories in $d$ spacetime dimensions with $d\\le 5$, it computes the classifying space of the 2-group and the oriented and spin bordism groups that classify 't Hooft anomalies, and it writes explicit cochain-level anomaly actions in each dimension. For $d=3$ it constructs the (3+1)D SymTFT and shows that, in the anomalous case, the symmetry category is monoidally equivalent to the fermionic fusion 2-category $2\\mathrm{sVect}_{(\\mathbb{Z}_4,2)}$. It then classifies the minimal topological and physical boundary conditions and organizes the resulting gapped phases into a categorical Landau paradigm table. If correct, this fixes the anomaly menu and phase diagram for this symmetry and supplies a template for non-split higher-group symmetries generally.","feed_headline":"Bordism tables settle non-split 2-group anomalies up to 5d","feed_subtitle":"In 2+1D the anomalous symmetry is a fermionic 2-category; its SymTFT boundaries are now classified.","key_machinery":"The load-bearing machinery is the classifying space $B\\mathcal{G}$ of the weak 2-group, realized as the total space of the Postnikov fibration $K(\\mathbb{Z}_2,2)\\to B\\mathcal{G}\\to K(\\mathbb{Z}_2,1)$ whose k-invariant is the non-trivial Postnikov class $\\beta=a^3\\in H^3(B\\mathbb{Z}_2;\\mathbb{Z}_2)$. The paper computes the integral and mod-2 cohomology of this space with the Serre spectral sequence, then feeds the results into Atiyah–Hirzebruch and Adams spectral sequences to obtain the bordism groups. On the cochain side, the argument is carried by the cocycles $v_3=a\\cup b+b\\cup_1 b+b\\cup_2 a^3$ and $v_4=b\\cup b+b\\cup_1 a^3+a^2\\cup b$ built from the 2-group gauge fields, with $v_4$ generating the $d=3$ anomaly. The categorical side is carried by the classification of fusion 2-categories: the anomalous symmetry category is identified with the fermionic fusion 2-category $2\\mathrm{sVect}_{(\\mathbb{Z}_4,2)}$, and the SymTFT is described by Lagrangians such as $S=\\frac{2\\pi}{4}\\int_X B\\cup\\delta A+\\pi\\int_X (B\\bmod 2)\\cup w_2(TX)$ with $\\mathbb{Z}_4$ fields $A,B$. Minimal gapped boundaries are classified by Lagrangian algebras in the Drinfeld centers $Z_1(2\\mathrm{Vect}_{\\mathcal{G}})$ and $Z_1(2\\mathrm{sVect}_{(\\mathbb{Z}_4,2)})$.","core_discovery":"The paper's central claim is that the non-split 2-group $\\mathcal{G}=(\\mathbb{Z}_2,\\mathbb{Z}_2,\\mathrm{triv},1)$ has anomaly groups given by the reduced bordism groups $\\widetilde{\\Omega}^{\\mathrm{SO}}_{d+1}(B\\mathcal{G})$ and $\\widetilde{\\Omega}^{\\mathrm{Spin}}_{d+1}(B\\mathcal{G})$ for $d\\le 5$, with values $\\mathbb{Z}_2,0,\\mathbb{Z}_2,\\mathbb{Z}_2^3,\\mathbb{Z}_2^2$ in the oriented cases and $\\mathbb{Z}_2,\\mathbb{Z}_2,\\mathbb{Z}_4\\oplus\\mathbb{Z}_2,\\mathbb{Z}_2,\\mathbb{Z}_2^2$ in the spin cases. The unique $d=3$ oriented anomaly is represented by the cochain $\\frac{1}{2}v_4=\\frac{1}{2}(b\\cup b+b\\cup_1 a^3+a^2\\cup b)$, where $(a,b)$ are the weak 2-group gauge fields obeying $\\delta b=a^3$. When this anomaly is present, the symmetry category is not an ordinary bosonic $2\\mathrm{Vect}^{\\pi}_{\\mathcal{G}}$ but is monoidally equivalent to the fermionic fusion 2-category $2\\mathrm{sVect}_{(\\mathbb{Z}_4,2)}$, whose underlying supergroup is the non-split central extension of $\\mathbb{Z}_2$ by fermion parity. The paper gives explicit Lagrangian SymTFT actions for both the non-anomalous and anomalous cases, classifies their minimal Lagrangian algebras and boundary conditions, and derives the resulting gapped phases: symmetric, SSB, and SPT phases.","pith_inferences":["If the twisted supercohomology comparison flagged in Appendix B.3 holds, the same combination of Serre spectral sequence and cochain descent should extend to non-split 2-groups $\\mathcal{G}=(\\mathbb{Z}_2,\\mathbb{Z}_N,\\mathrm{triv},\\beta)$, yielding anomaly actions without recomputing bordism groups by hand.","The equivalence $2\\mathrm{Vect}^{\\omega}_{\\mathcal{G}}\\simeq 2\\mathrm{sVect}_{(\\mathbb{Z}_4,2)}$ suggests that gauging the $\\mathbb{Z}_2^f$ subgroup in the fermionic description should exactly reproduce the bosonic 2-group anomaly; an explicit lattice bosonization of the $\\mathbb{Z}_2$ gauge-theory fractionalization example in Section 6 would provide a microscopic check.","A concrete lattice signature of the predicted 2-group SPT phase is the semion value of the topological spin of the dressed Wilson loop, which a stabilizer or tensor-network computation could measure directly.","The same bulk action with $\\mathbb{Z}_4$ fields and the $w_2$ coupling may serve as a building block for SymTFTs of other fermionic 2-group symmetries, with the Postnikov class realized by a twisted cohomology generator with $v\\neq 0$."],"forward_implications":["The full menu of 't Hooft anomalies of $\\mathcal{G}=(\\mathbb{Z}_2,\\mathbb{Z}_2,\\mathrm{triv},1)$ is now known in spacetime dimensions $d\\le 5$, with explicit cochain actions for every bosonic anomaly.","In $d=3$ the unique bosonic anomaly is carried by the phase $(-1)^{\\int_M b\\cup b+b\\cup_1 a^3+a^2\\cup b}$, so any theory with this 2-group symmetry either realizes that anomaly or is the anomalous boundary of a (3+1)D invertible phase.","An anomalous non-split 2-group symmetry in 2+1D cannot be captured by a bosonic fusion 2-category; the anomaly forces the fermionic category $2\\mathrm{sVect}_{(\\mathbb{Z}_4,2)}$, so the fermionic sector is unavoidable even when the theory is nominally bosonic.","The SymTFT has exactly two minimal topological boundaries in the anomalous case and seven in the non-anomalous case, giving the complete set of gauging routes and the phase table for the categorical Landau paradigm.","No gapped phase can preserve the $\\mathbb{Z}_2$ 0-form symmetry while breaking the $\\mathbb{Z}_2$ 1-form symmetry, because the Postnikov class ties the 0-form anomaly to a 1-form transformation."],"supporting_citations":[{"why":"Supplies the weak 2-group gauge-field formulation and the modified flatness condition $\\delta b=\\beta(a)$ used throughout the cochain computations.","marker":"[18]"},{"why":"Gives the Anderson-dual and bordism classification of invertible phases that turns 't Hooft anomalies into bordism groups.","marker":"[78]"},{"why":"Defines the classifying space of a topological 2-group, the object $B\\mathcal{G}$ whose cohomology is computed.","marker":"[81]"},{"why":"Provides the classification of fusion 2-categories used to identify $2\\mathrm{Vect}_{\\mathcal{G}}$ and to enumerate its Lagrangian algebras.","marker":"[160]"},{"why":"Supplies the theory of fermionic strongly fusion 2-categories and the examples that identify $2\\mathrm{Vect}^{\\omega}_{\\mathcal{G}}$ with $2\\mathrm{sVect}_{(\\mathbb{Z}_4,2)}$.","marker":"[177]"},{"why":"Computes the Drinfeld center $Z_1(2\\mathrm{sVect}_{(\\mathbb{Z}_4,2)})$ and classifies its minimal topological boundary conditions.","marker":"[186]"},{"why":"Provides the twisted supercohomology cochain models, including $\\mathrm{SH}^4_v(B\\mathbb{Z}_2)\\cong\\mathbb{Z}_2$, used for the anomalous case.","marker":"[189]"},{"why":"Proves the three-layer model matches the Pontryagin dual of 3-dimensional spin bordism, supporting the degree-three computations.","marker":"[203]"},{"why":"Proves the matching in degree four and supplies the secondary-operation formula behind the $d_3$ differential in the spin AHSS.","marker":"[204]"},{"why":"Gives the twisted AHSS differential $d^v_2(x)=\\mathrm{Sq}^2(x)+v\\cup x$ that selects the $\\mathbb{Z}_4$ extension in the anomalous case.","marker":"[188]"}],"fun_headline_variants":["Non-split 2-group anomalies: full bordism table up to 5d","Fermionic 2-category hidden in 3d non-split 2-group anomaly","Bordism groups settle non-split 2-group anomalies to 5d","2-group SymTFT boundaries classified: bosonic to fermionic phases","Non-split 2-group anomaly: fermionic 2-category and gapped phases"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The anomalous-case conclusions rest on the assumption that the three-layer twisted supercohomology theory $\\mathrm{SH}^4_{a^2}(B\\mathbb{Z}_2)$ captures the full twisted spin-bordism anomaly classification for the non-split extension, a comparison the paper explicitly leaves for future work.","fun_headline_variants_meta":{"raw":{"variants":["Non-split 2-group anomalies: full bordism table up to 5d","Fermionic 2-category hidden in 3d non-split 2-group anomaly","Bordism groups settle non-split 2-group anomalies to 5d","2-group SymTFT boundaries classified: bosonic to fermionic phases","Non-split 2-group anomaly: fermionic 2-category and gapped phases"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000702,"raw_usage":{"total_tokens":3296,"prompt_tokens":1202,"completion_tokens":2094,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":818,"completion_tokens_details":{"reasoning_tokens":1984}},"tokens_in":818,"tokens_out":2094,"duration_ms":14752,"temperature":1.0,"reasoning_tokens":1984,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T04:24:42.327606+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the full twisted spin-bordism anomaly group $\\mathrm{Hom}(\\widetilde{\\Omega}^{\\mathrm{Spin}}_5(B\\mathcal{G};v),U(1))$ for the non-split extension $v=a^2$ and compare it with the paper's $\\mathrm{SH}^4_v(B\\mathbb{Z}_2)\\cong\\mathbb{Z}_2$; any additional torsion or a different group extension would break the identification $2\\mathrm{Vect}^{\\omega}_{\\mathcal{G}}\\simeq 2\\mathrm{sVect}_{(\\mathbb{Z}_4,2)}$. Equivalently, one could evaluate the proposed anomalous bulk action on a closed oriented 4-manifold with $w_2(TX)\\neq 0$ and check that the partition function equals $(-1)^{\\int_X b\\cup b+b\\cup_1 a^3+a^2\\cup b}$.","supporting_citations":[{"cited_title":"Xu,On ´Etale Algebras and Fusion 2-Categories","cited_arxiv_id":null,"evidence_quote":"Computes the Drinfeld center $Z_1(2\\mathrm{sVect}_{(\\mathbb{Z}_4,2)})$ and classifies its minimal topological boundary conditions."}],"review_version":1}