{"id":"2143ebb7-59e5-4e93-82f8-8e297f47a785","arxiv_id":"2608.04248","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"Line operators charged under the 1-form part of a 2-group symmetry must generically break the 0-form part, enforced by a family anomaly derived from Wess-Zumino consistency.","lead":"In quantum field theories with 2-group symmetries, objects charged under the loop-like 1-form symmetry are forced to break the point-like 0-form symmetry in most cases. This paper explains why through a topological 'family anomaly,' and computes explicit signatures in many worked examples.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the WZ-consistency argument is sound, and the flagged exceptions are delimited in the body.","rationale":"The reader's conditional verdict is based on the same load-bearing premise I scrutinized: the completeness of Eq. (1.5) and the non-removability of α^(1). I find that premise secure: it is standard 2-group WZ consistency, and the paper provides both a descent-based argument and an explicit counterterm analysis. The reader's other reasons for CONDITIONAL (missing citation for the H^3(BG,U(1)) statement, unqualified boxed claim, and unverified appendix algebra) are presentation issues that do not threaten the central derivation. The paper itself flags the exceptions to the boxed claim in Secs. 4.2.1 and 4.3.1, so the refined claim—simple charged lines break G when the induced Wilson-surface anomaly is non-trivial—stands. I recommend keeping the verdict unchanged: the paper is correct in its central argument and merits conditional acceptance for the stated peripheral reasons, not because of a gap in the main logic.","tokens_in":63458,"tokens_out":26234,"duration_ms":229243,"concrete_test":"Independently recompute the family anomaly ν^(1)(λ,U,A) in Eq. (2.25) using the finite transgression formula in App. A.3, then verify that the scheme-independent term f^{abc}λ^a ω^b dω^c cannot be removed by any 1d local counterterm; in particular, extend App. F's enumeration to include mixed counterterms of the form ∫ A_0^a H_{ab}(ω) dω^b and check that their variations vanish or fail to reproduce the anomaly when the background A_0 is set to zero.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I examined the load-bearing premise highlighted by the reader: that Eq. (1.5) is the complete consistency requirement for functionals of 2-group backgrounds and that the boundary inconsistency ∫_γ α^(1) cannot be absorbed by 1d local counterterms. This premise holds. The generalized WZ condition follows directly from the 2-group composition law (1.2) and (1.4), with δ_Λ A=0; it is the standard coherence condition for a 2-group action on a functional. The non-removability of α^(1) is supported by two independent mechanisms in the paper: (i) the descent formalism in App. H shows that any line-local counterterm has vanishing δ_WZ, so it cannot cancel a non-trivial boundary cocycle; (ii) App. F explicitly checks the possible 1d counterterms for the SU(N) case and shows the f^{abc}λ^aω^b dω^c term is scheme-independent. I checked the contraction leading to Eq. (2.44): the 2-point and 1-point terms indeed drop out after contracting with f^{abc} because of the symmetry of the 2-point response function. The exceptions to the unqualified 'must break' claim (connected continuous G^(0) in Sec. 4.2.1, non-simple lines in Sec. 4.3.1) are explicitly acknowledged and do not affect the refined claim about simple lines with non-trivial induced anomaly. The central argument is coherent; no load-bearing flaw was found.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"Starting from the 2-group background gauge transformation rules (1.1), the paper derives generalized Wess-Zumino consistency conditions (1.5), (3.11), and (4.10) for functionals of 2-group backgrounds. It argues that a line operator charged under the 1-form symmetry, when attached to a Wilson surface, gives a partition function whose WZ inconsistency is proportional to the boundary integral of the descent one-form α^(1); since this cannot be removed by line-local counterterms, the line must break the 0-form symmetry. The resolution introduces a spurion U labeling a family of line defects, with an anomalous phase ν^(1) that cancels α^(1); this family anomaly is computed for SU(N) to all orders in ω (Sec. 2.1, App. A), constrained by a higher Berry connection whose flux is fixed by the Postnikov class (Sec. 2.2, App. D), and probed by tilt operators. Continuous abelian 2-groups are treated by differential cohomology (Sec. 3), with the obstruction coming from large gauge transformations and the abelian Goldstone-Maxwell model as the main example. Discrete 2-groups are treated via symmetry-defect associativity, leading to the obstruction χ_q(β)∈H^3(G^(0),U(1)) for simple lines (Eq. (4.10)); exceptions are analyzed in Secs. 4.2.1 and 4.3.1-4.3.3.","tokens_in":63542,"tokens_out":11134,"duration_ms":99377,"significance":"Assuming the main claim, the paper identifies a universal and previously underappreciated consequence of 2-group symmetry for defect operators: charged line defects must come in families labeled by the broken 0-form symmetry, with a rigid, topologically quantized family anomaly. The formalism is a substantial technical contribution: the generalized WZ consistency condition with a 1-form transformation on the functional, the inflow/spurion construction for boundaries, the all-orders formula for ν^(1) in the SU(N) case, the differential-cohomology description of abelian 2-group bundles, and the translation of the continuous anomaly into a discrete associativity constraint. The examples are concrete and the response-function Ward identity (2.44) and rotor scattering length (3.50) are falsifiable. The paper is also careful to delimit the regime of validity: connected continuous G^(0) yields no symmetry-breaking constraint (Sec. 4.2.1), non-simple lines and extended symmetries can evade the obstruction (Secs. 4.3.1-4.3.3), and the intuitive emergence-hierarchy argument is flagged as not fully rigorous.","major_comments":[],"minor_comments":[{"comment":"The boxed statement 'Line operators charged under A^(1) must explicitly break G^(0)' is stronger than the conditions under which it is proven; the paper itself shows in Sec. 4.2.1 that connected continuous G^(0) never enforces breaking, and in Secs. 4.3.1-4.3.3 that non-simple lines and extended symmetries can evade the obstruction. Please add the qualifiers (simple line, faithful A^(1) charge, non-trivial induced anomaly) to the boxed claim or cross-reference the exceptions there.","section":"Sec. 1 (boxed claim)"},{"comment":"The phrase 'For a proof of this statement, see here' is not a usable citation; please provide a proper reference for H^3(BG,U(1))≃H^4(BG,Z) and the claim that finite-order classes vanish when G is connected.","section":"Sec. 4.2.1"},{"comment":"The argument that no pure contact term can saturate the integrated Ward identity assumes that H(E_1,E_2,E_3) in Eq. (2.48) is a polynomial; please state this assumption explicitly and clarify the allowed class of distributions (partial contact terms) that are admitted.","section":"Eq. (2.44) / Sec. 2.2.2"},{"comment":"The renormalized rotor moment of inertia I_r in Eq. (3.50) is the only free parameter in the scattering length; a sentence on how I_r is fixed by the UV completion (or why it remains a free low-energy parameter) would improve the presentation.","section":"Sec. 3.2.2"},{"comment":"There are several minor typographical issues (e.g., 'it is not globally well-defined' in Sec. 1 and 'this is the square-root of the phase' in Sec. 4.2.1 could be simplified); a careful copyedit is recommended.","section":"General"}],"recommendation":"minor_revision","confidential_remarks":"The paper is technically strong and the central argument withstands scrutiny; the exceptions are explicitly scoped. The missing reference and the overbroad boxed claim are the main reasons for minor revision rather than immediate acceptance. I see no grounds for concern about novelty or citation fairness."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: the headline effect was already known from scattered examples, and the authors say so; what is new is the uniform machinery, and the machinery holds up. The generalized WZ consistency condition (Eq. (1.5)) follows from the 2-group transformation rules, the contradiction for symmetric charged lines follows from it, and the spurion resolution produces a family anomaly whose topological flux is pinned by the Postnikov class. The worked examples (massless QED, both Goldstone-Maxwell models, D16 and Spin(4) gauge theories, ZN) are genuine anomaly matchings: the tilt operators are computed from the actual Lagrangians, not fitted. The reader's low circularity burden is right — the family anomaly is derived, not assumed.\n\nI looked hard at the load-bearing premise: that Eq. (1.5) is the complete consistency requirement and that the boundary cocycle α^(1) cannot be absorbed by line-local counterterms. It holds. The descent formalism in App. H shows any line-local counterterm has vanishing δ_WZ, and App. F checks the possible 1d counterterms for SU(N) explicitly — the f^{abc}λ^aω^b dω^c term is scheme-independent. The contraction that kills the 1- and 2-point terms in Eq. (2.44) checks out. The stress-test note's clean bill is accurate.\n\nSoft spots, in proportion. The boxed claim in Sec. 1 ('must explicitly break G^(0)') is unqualified, while the body rightly delimits exceptions: connected continuous G^(0) (Sec. 4.2.1), several discrete examples, and non-simple lines. Ask the authors to qualify the headline in the abstract and boxed statement. Second, the mathematical fact that connected G^(0) trivializes the induced anomaly is cited by a bare hyperlink in Sec. 4.2.1; that is load-bearing for the no-breaking case and needs a real citation. Third, the appendix algebra is heavy; I did not re-derive every step, but the structure is explicit and the pieces I checked are consistent. The undetermined renormalized rotor inertia is a legitimate matching parameter, not a flaw.\n\nWho is this for: model builders working with higher-group symmetries, and people doing defect inflow or higher Berry phases. It deserves a serious referee. Send it out; the revisions are minor.","headline":"The uniform WZ-consistency machinery for 2-group line defects holds up; the exceptions (connected continuous G^(0), non-simple lines) are honestly delimited, and the paper deserves a serious referee.","tokens_in":64299,"tokens_out":6399,"would_cite":true,"duration_ms":51888,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Any line operator charged under the 1-form part of a 2-group global symmetry must explicitly break the 0-form symmetry, enforced by a 'family anomaly' that makes the line one member of a symmetry-related family of defects.","keywords":["2-group symmetries","line operators","family anomaly","tilt operator","Postnikov class","Wess-Zumino consistency","higher Berry phase","generalized global symmetries"],"falsifier":"Find or construct a quantum field theory with a 2-group whose Postnikov class induces a non-trivial anomaly in $H^3(G^{(0)},U(1))$, and exhibit a simple line operator charged under $A^{(1)}$ that is exactly invariant under $G^{(0)}$ with no spurion and no tilt; equivalently, in such a theory compute the integrated 3-point tilt response, since the paper predicts a nonzero coefficient proportional to the Postnikov level $\\kappa$ in the Ward identity (2.44), and observing a vanishing coefficient while the Postnikov class remains quantized would falsify the claim.","tokens_in":63037,"feed_emoji":"🧵","tokens_out":9390,"duration_ms":78137,"temperature":0.7,"pith_summary":"This paper tries to establish a universal fact about line defects in quantum field theories with 2-group global symmetries: whenever the 2-group has a non-trivial Wilson-surface anomaly, a line operator charged under the 1-form subgroup cannot be invariant under the 0-form subgroup. The reason is a generalized Wess-Zumino consistency condition: the Wilson surface ending on the line carries a 2d anomaly proportional to the Postnikov class, and on a surface with boundary that anomaly is inconsistent unless the line breaks the 0-form symmetry explicitly. The breaking is not an accident of any model: it produces a 'family anomaly' that organizes charged lines into families parameterized by the broken 0-form generators, and the family structure is protected by the quantized Postnikov class along RG flows. The authors work out the mechanism for continuous nonabelian, continuous abelian, and discrete 2-groups, and compute explicit 'tilt operators' that measure the line's linear response to the broken symmetry. If the argument is right, 2-group symmetry has a built-in hierarchy: the 1-form symmetry must emerge before the 0-form symmetry in any RG flow that restores both.","feed_headline":"2-group charges force line defects to break 0-form symmetry","feed_subtitle":"The constraint is topological: every charged line comes in a symmetry-generated family that survives all RG flow.","key_machinery":"The load-bearing identity is the generalized Wess-Zumino consistency condition (1.5), which says that any functional of 2-group background fields must be invariant under the combined non-commutativity of two 0-form gauge transformations and the compensating 1-form transformation $\\Lambda^{(1)}=\\alpha^{(1)}$. The paper shows that a Wilson surface ending on a charged line violates this condition by a boundary term, and the violation can only be cancelled by letting the line break $G^{(0)}$, i.e. by coupling it to a spurion $U\\in G^{(0)}$ and accepting an anomalous phase $\\nu^{(1)}(\\lambda,U,A)$ called the family anomaly. The tilt operator is the linearized response to a modulated spurion, with higher tilt operators capturing the nonlinear action that is needed to match the anomaly. The discrete analog is the associativity constraint (4.10) with phases $\\nu_i(g,h)$ and the Postnikov class $\\beta(g,h,k)$, whose induced class in $H^3(G^{(0)},U(1))$ is the complete obstruction to a symmetric simple line. The Postnikov class is the characteristic class measuring how the 1-form background field shifts under $G^{(0)}$, equivalently how 1-form symmetry defects terminate on triple junctions of 0-form symmetry defects.","core_discovery":"The central claim is that in a 2-group with 0-form symmetry $G^{(0)}$ and 1-form symmetry $A^{(1)}$, a line operator charged under $A^{(1)}$ cannot be invariant under $G^{(0)}$. The argument is kinematic: the line is the boundary of a Wilson surface built from the 2-form background field $B^{(2)}$, and under $G^{(0)}$ the field $B^{(2)}$ shifts by the 2d anomaly density $\\alpha^{(2)}(\\lambda,A)$ dictated by the Postnikov class. A Wess-Zumino consistency check shows that the surface alone cannot be consistent on a manifold with boundary, so a $G^{(0)}$-symmetric line leads to a contradiction. Consistency is restored only when the line explicitly breaks $G^{(0)}$, with the 0-form action holding up to an anomalous phase, the family anomaly, that compensates the boundary term. This forces the line into a family labeled by the broken generators, and the flux of the associated higher Berry connection on the moduli space is fixed by the Postnikov class, making the family stable under renormalization group flow. In the discrete case the same obstruction appears as a non-trivial induced class $\\chi_q(\\beta)\\in H^3(G^{(0)},U(1))$: when that class is non-trivial, no simple $G^{(0)}$-singlet charged line exists, whereas for connected continuous $G^{(0)}$ the induced class is trivial and symmetric lines may exist.","pith_inferences":["A testable diagnostic follows: the tilt operator, or its 3-point response, could be used in a bulk-defect system to detect an active 2-group Postnikov class even when the 1-form symmetry is not directly measurable, for instance through a scattering length proportional to the structure constant $\\kappa$ in a defect coupled to a rotor.","The same Wess-Zumino-with-boundary logic plausibly applies to higher $n$-groups: surface operators charged under a 2-form subgroup should be forced to break lower-form symmetries, with higher tilt towers playing the role of the family anomaly.","In lattice or condensed-matter settings, the rigidity of the family anomaly suggests that boundary defects of 2-group-enriched phases cannot be tuned to a fully symmetric point without a phase transition or an enlarged symmetry, which could be observed as protected degeneracies in defect spectra."],"forward_implications":["Every theory with a 2-group and a non-trivial Wilson-surface anomaly must have families of charged line defects; no simple $G^{(0)}$-invariant line exists.","The family structure is RG-stable: the flux of the higher Berry connection on the defect moduli space is quantized by the Postnikov class, so the moduli space cannot collapse to a point while the 2-group is intact.","In continuous nonabelian cases the anomaly appears in response functions: the integrated 3-point tilt function obeys the scheme-independent Ward identity (2.44), forcing a partial-contact or separated-point contribution.","If the 1-form symmetry is explicitly broken by summing over charged lines, the 0-form symmetry is necessarily broken in the bulk, which sharpens the emergence hierarchy: $A^{(1)}$ must appear before $G^{(0)}$ in any RG flow that restores both.","In discrete cases with a non-trivial induced class, non-simple lines can appear to restore symmetry only at the cost of extending the symmetry algebra by defect-local or non-faithful symmetry operators."],"supporting_citations":[{"why":"Defines the 2-group background fields, the Postnikov class, and the modified $B^{(2)}$ gauge transformation that the paper's Wess-Zumino argument starts from.","marker":"[1]"},{"why":"Provides the discrete 2-group Postnikov class and the triple-junction diagrammatics used to formulate the discrete associativity constraint.","marker":"[2]"},{"why":"Introduces higher-form global symmetries and their charged line operators, the objects whose consistency the paper analyzes.","marker":"[3]"},{"why":"A prime example establishing chiral symmetry violation by 't Hooft lines in massless QED, which the paper rederives and generalizes.","marker":"[12]"},{"why":"Provides the modern treatment of 't Hooft lines and symmetry breaking in QED-like models that the paper uses as a testing ground.","marker":"[13]"},{"why":"Introduces the tilt operator and families of line defects for explicitly broken symmetries, which the paper develops into the family anomaly picture.","marker":"[18]"},{"why":"Source for the statement that anomalous symmetries are broken at boundaries, a key kinematic step of the argument.","marker":"[20]"},{"why":"Gives the boundary and defect treatment of anomalies and Wess-Zumino consistency on manifolds with boundary, used for the boundary inconsistency (2.8).","marker":"[21]"},{"why":"The original Wess-Zumino consistency condition whose 2-group generalization the paper uses and applies to line defects.","marker":"[24]"},{"why":"Develops the spurion and inflow formalism for anomalous boundaries and defects with modulated effective actions, the technical template for the family anomaly machinery.","marker":"[34]"},{"why":"Derives higher tilt operators and the 3-point Ward identity for nonlinearly realized defect symmetries, which the paper matches to the family anomaly.","marker":"[48]"}],"fun_headline_variants":["Charged lines in 2-groups break 0-form symmetry","Line defects in 2-groups: 0-form breaking is unavoidable","Topological obstruction forces line defects to break symmetry","2-group charges imply symmetry-breaking families of lines"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument assumes the only way to make a charged line consistent with a 2-group background is the generalized Wess-Zumino consistency condition, and that the anomalous phase left on the line's boundary cannot be removed by local terms living on the line itself.","fun_headline_variants_meta":{"raw":{"variants":["Charged lines in 2-groups break 0-form symmetry","Line defects in 2-groups: 0-form breaking is unavoidable","Topological obstruction forces line defects to break symmetry","2-group charges imply symmetry-breaking families of lines"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000189,"raw_usage":{"total_tokens":1438,"prompt_tokens":1147,"completion_tokens":291,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":763,"completion_tokens_details":{"reasoning_tokens":234}},"tokens_in":763,"tokens_out":291,"duration_ms":3322,"temperature":1.0,"reasoning_tokens":234,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-08T00:07:50.662187+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find or construct a quantum field theory with a 2-group whose Postnikov class induces a non-trivial anomaly in $H^3(G^{(0)},U(1))$, and exhibit a simple line operator charged under $A^{(1)}$ that is exactly invariant under $G^{(0)}$ with no spurion and no tilt; equivalently, in such a theory compute the integrated 3-point tilt response, since the paper predicts a nonzero coefficient proportional to the Postnikov level $\\kappa$ in the Ward identity (2.44), and observing a vanishing coefficient while the Postnikov class remains quantized would falsify the claim.","supporting_citations":[],"review_version":1}