{"id":"eea59002-2036-45f9-9823-fb12a81160f6","arxiv_id":"2608.02717","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Non-invertible so(3)_k defect lines that commute with the massless perturbation of N=2 minimal models are killed at second order by a supersymmetry anomaly, while the Chebyshev massive deformation preserves them to all orders.","lead":"This paper shows that non-invertible symmetry lines of N=2 minimal models that commute with the massless deformation cannot survive as supersymmetric defects in the infrared, because a defect-localized anomaly kills them at second order in the perturbation. A modified massive flow preserves every line, which challenges a standard assumption about how symmetries behave along RG flows.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The no-go's physical scope is narrower than the abstract's first sentence: it relies on the 'believed' endpoint being the (k−2)nd minimal model and on B-type/polynomial realizations, with non-supersymmetric survival explicitly open.","rationale":"Reader's weakest assumption already identifies the endpoint identification and the B-type scope as the load-bearing conditions, and I agree. The central algebraic claim appears sound, so I am not proposing REJECT. Because the concern is acknowledged in the paper and is a scoping condition rather than an internal error, the CONDITIONAL verdict remains appropriate; the authors should either prove or explicitly circumscribe the endpoint and non-B-type assumptions, and exhibit the k≤9 check that is currently asserted without details. No change to the reader's verdict is needed.","tokens_in":26334,"tokens_out":18790,"duration_ms":184591,"concrete_test":"Construct the RG defect R for the flow W=X^{k+2}+λX^k following Brunner–Mayer–Schmidt-Colinet (Section 5.4), for a concrete case such as k=6, and compute the infrared image T_IR of the generator [2,0,0] from T_IR R = R T_UV together with the resulting IR partition function ⟨R|Z_UV⟩. If the partition function does not equal the (k−2)nd minimal model (central charge 3(k−2)/k) or if a nonzero [2,0,0] image satisfies the transparency condition, the endpoint assumption fails and the no-go must be reinterpreted; if the computation reproduces exactly that model with only the identity image, the conditional conclusion is supported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The matrix-factorisation computation is internally convincing: the first-order solution exists, the degree count pins down E1, and the class [E1J1] in C[X,Y]/(E0,J0) is shown to be nonzero; the stabilisation and gauge-invariance argument in Appendix A closes the higher-rank escape. The place where the argument is least secure is the interpretive step from this computation to a failure of the symmetry principle. The paper states, rather than proves, that the flow generated by W=X^{k+2}+λX^k ends at the (k−2)nd N=2 minimal model: Section 2.2 says the perturbation 'is believed to be triggered by...' and Section 3.1 says the flow 'is believed to induce' that model. If the actual endpoint differs, or if the two massive vacua at X∼±i√λ do not decouple cleanly from the massless sector, then the fusion-ring no-go of Section 2.2 is not about the actual infrared theory, and the obstruction describes a property of a particular polynomial B-type trajectory rather than a counterexample to commutation-implies-IR-symmetry. The paper itself flags the complementary escape: Section 5.2 states that whether the line survives in some non-supersymmetric form remains open, and Section 5.1 notes that the non-polynomial continuation lacks a precise interpretation. These are acknowledged scoping conditions, but they are exactly the conditions on which the headline physical conclusion rests.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the fate of the non-invertible Verlinde lines [2l,0,0], which generate the category so(3)_k in the kth N=2 minimal model, under the least relevant perturbation W = X^{k+2} + lambda X^k. It argues that although the perturbing operator commutes with all these lines, the lines cannot survive as supersymmetric B-type defects along the massless flow to the (k-2)nd minimal model. The CFT fusion-ring argument shows that the (k-2)nd model contains no subcategory with the quantum dimensions of so(3)_k except in the exceptional case k=4. The matrix-factorisation analysis shows that the B-type realization of each nontrivial line [2l,0,0] can be adjusted at first order in lambda, but at second order the class [E1 J1] in the quotient ring C[X,Y]/(E0,J0) is nonzero, so no order-by-order polynomial deformation exists. The paper furthermore shows that modifying the bulk deformation to the Chebyshev/Dickson superpotential removes this obstruction to all orders, yielding a massive integrable flow on which all of so(3)_k survives, with the fusion rules reproduced by a resultant computation.","tokens_in":26531,"tokens_out":32597,"duration_ms":278946,"significance":"The paper gives an explicit, checkable counterexample to the common inference that a deformation operator commuting with a topological line guarantees that the line acts on the IR fixed point. The mechanism is identified as a defect-localised SUSY/BRST anomaly. The technical core is strong: the first-order uniqueness argument, the degree-counting obstruction, the higher-rank and gauge-invariance discussion in Appendix A, the Chebyshev factorisation theorem in Appendix B, and the resultant fusion computation in Appendix C are all explicit and well suited for spot checks. The CFT quantum-dimension no-go is elementary but rigorous. If the standard identification of the massless IR endpoint is accepted, the result is an important caveat for symmetry-based RG-flow arguments. The paper is also clear about its scope, noting in Section 5.2 that non-supersymmetric survival remains open.","major_comments":[],"minor_comments":[{"comment":"The abstract's phrase 'Using CFT arguments we show that this is not possible' should be qualified: the unconditional statement is the second-order matrix-factorisation obstruction of Section 3.4.2, while the physical no-go assumes the standard but unproven identification of the IR endpoint with the (k-2)nd minimal model (Sections 2.2 and 3.1) and restricts to B-type, supersymmetry-compatible polynomial realizations (Section 5.2, with non-supersymmetric survival left open). Please state this distinction explicitly in the abstract so that the conditional nature of the headline conclusion is not lost.","section":"Abstract and Section 1"},{"comment":"The finite check for k<=9 is not presented; please include a table or a short explicit case analysis, especially since k=4 and k=6 are exceptional and later discussed.","section":"Section 2.2"},{"comment":"The trigonometric identity (3.38) for S_1-S_3 is stated without derivation; a one-line proof would help, since the nonvanishing of this product is the crux of the second-order obstruction.","section":"Section 3.4.2"},{"comment":"The statement that the Chebyshev flow has d-1 massive vacua should explicitly contrast with the massless flow, which has two additional massive vacua at X ~ +/- i sqrt(lambda), to avoid confusion about which IR theory is being discussed.","section":"Section 4.2"},{"comment":"The notation in 'x^3 \\bar{x} ~ (3,3,0) x (1,-1,0)' and '3 tensor 1 = 2 direct sum 4' is terse; please define that the chiral field x carries labels (1,1,0) and that these are su(2) representations.","section":"Section 5.3"},{"comment":"The header 'N= 2RG flows' is missing a space; in Section 5.5 'ansu(2) k singlet' should read 'a su(2)_k singlet'; and in Section 3.4 the statement that E0 and J0 have no common root should read 'no common factor'.","section":"Typos"}],"recommendation":"minor_revision","confidential_remarks":"The technical content is convincing and the appendices are careful. The only substantive concern is that the physical headline is more conditional than the abstract suggests; this is fixable by rewording. The finite check for k<=9 and a derivation of (3.38) would improve self-containedness. I do not see a reason to doubt the central obstruction theorem."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nRead this one. The headline result is real and cleanly demonstrated: for the massless flow W = X^{k+2} + lambda X^k, the [2l,0,0] lines survive to first order but are obstructed at second order, with the class [E1 J1] nonzero in C[X,Y]/(E0,J0). The first-order deformation, the degree-counting obstruction, the irreducibility argument, and the higher-rank stabilisation analysis all check out. The paper also earns its keep on the constructive side: demanding consistency to all orders forces the Chebyshev completion, and the resultant computation in Appendix C showing the fusion ring is preserved along that massive flow is genuinely nice. The comparison with [21] is fair and the paper is honest about what is new.\n\nWhere are the soft spots? The physical conclusion is narrower than the abstract's first sentence. The matrix-factorisation computation is about B-type, supersymmetry-compatible, polynomial realisations of the line. Whether the line survives in some non-supersymmetric or non-polynomial form is left open, and the paper says so in Section 5. That is a scoping condition, not a hidden flaw, but it should be stated more prominently. The second soft spot is the endpoint assumption: the identification of the IR as the (k-2)nd minimal model is 'believed' rather than proven. If that endpoint is wrong, the CFT no-go of Section 2.2 is not about the actual IR theory. I do not think this kills the paper—the algebraic obstruction stands on its own and the massive-vacua mechanism in Section 5.1 is plausible—but the abstract should not imply a universal counterexample to commutation-implies-IR-symmetry when the actual statement is about B-type lines on a believed trajectory. The k <= 9 check for the CFT argument is asserted rather than exhibited; that is a minor presentation issue, not a mathematical one.\n\nWho is this for? Anyone working on non-invertible symmetries and RG flows, especially in N=2 models. The paper deserves a serious referee: the core computation is explicit, reproducible, and the limitations are mostly self-flagged. I would recommend sending it out with a request to fix the abstract's scope and to display the k <= 9 fusion-ring check. I would not cite it this year, but I would bring it to the next reading group.\n\nRecommendation: engage with it; referee it seriously.","headline":"A careful, explicit matrix-factorisation computation that shows a commutation-preserved non-invertible line can still fail to survive as a B-type defect, with the physical scope honestly scoped by the authors themselves.","tokens_in":27224,"tokens_out":629,"would_cite":false,"duration_ms":7839,"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":"Along the massless N=2 flow, the non-invertible lines that commute with the perturbation are obstructed at second order by a supersymmetry anomaly, so they do not reach the infrared.","keywords":["non-invertible symmetries","topological defect lines","N=2 minimal models","matrix factorisations","Landau-Ginzburg models","renormalisation group flow","supersymmetry anomaly","Chebyshev deformation"],"falsifier":"Exhibit a matrix factorisation of $W = X^{k+2} + \\lambda X^k$, polynomial in $X$ and $Y$ and reducing to the $[2\\ell,0,0]$ line at $\\lambda=0$, that exists to all orders in $\\lambda$; or exhibit a fusion-ring homomorphism from $so(3)_k$ into the $(k-2)$nd minimal model for a case the paper excludes. Either would disprove the central claim. In the opposite direction, verifying that $[E_1J_1] \\neq 0$ in $\\mathbb{C}[X,Y]/(E_0,J_0)$ directly is a finite polynomial computation that settles the obstruction for any given $k,\\ell$.","tokens_in":25979,"feed_emoji":"🌀","tokens_out":10703,"duration_ms":85052,"temperature":0.7,"pith_summary":"This paper studies what happens to the topological defect lines of the $k$th $\\mathcal{N}=2$ minimal model when the theory is deformed by its least relevant chiral perturbation, $W = X^{k+2} + \\lambda X^k$, a flow believed to end at the $(k-2)$nd minimal model. Since every integer-spin non-invertible line $[2\\ell,0,0]$ commutes with the perturbing field, the standard symmetry argument says those lines should survive into the infrared. The paper argues this expectation fails. The infrared minimal model's fusion category cannot contain the category $so(3)_k$ generated by these lines, and the matrix-factorisation description pins the failure down to order $\\lambda^2$: the B-type defect can be deformed at first order but not at second, where a supersymmetry anomaly localised on the line appears. If instead the deformation is completed to the Chebyshev potential, the same lines deform to all orders and the flow ends in a massive integrable theory that preserves the whole family.","feed_headline":"Non-invertible symmetries hit a second-order wall on the N=2 massless flow","feed_subtitle":"The lines commute with the perturbation, yet a defect-localized supersymmetry anomaly blocks them in the infrared.","key_machinery":"The central object is the matrix factorisation of the Landau–Ginzburg superpotential $W_0 = X^d - Y^d$, $d=k+2$: a pair of polynomial matrices $E,J$ with $EJ = JE = W_0 \\cdot 1$, which describes a B-type topological defect, meaning one compatible with the supersymmetric structure. A defect survives a bulk perturbation $W_0 \\to W_0 + \\lambda W_1$ exactly when $E$ and $J$ can be expanded in powers of $\\lambda$ so that $E(\\lambda)J(\\lambda) = W_0 + \\lambda W_1$ order by order. The argument is carried by the second-order condition $E_0 J_2 + E_2 J_0 = -E_1 J_1$: a polynomial solution exists iff $E_1 J_1$ lies in the ideal $(E_0,J_0)$, and the nonzero residue class $[E_1 J_1] \\in \\mathbb{C}[X,Y]/(E_0,J_0)$ is the supersymmetry anomaly. The alternative all-order solution is the factorisation identity for the Chebyshev–Dickson potential, $W(X,\\lambda)-W(Y,\\lambda) = (X-Y)\\prod_{j=1}^m \\bigl(X^2 - (\\omega_d^j + \\omega_d^{-j})XY + Y^2 + \\lambda c_j\\bigr)$, which preserves every line of the family.","core_discovery":"The core claim is that a topological defect line commuting with a perturbing operator is not automatically a symmetry of the infrared fixed point: the line must also be dressed order-by-order by counterterms localised on it, and the dressing can fail at second order. Concretely, for the massless flow $W = X^{k+2} + \\lambda X^k$, the matrix factorisation for $[2\\ell,0,0]$ satisfies the first-order deformation equation but fails at second order: the class $[E_1 J_1]$ in $\\mathbb{C}[X,Y]/(E_0,J_0)$ is nonzero, and this class is invariant under gauge equivalence and stabilisation, so it belongs to the line itself. In the folded picture this class is the square of the first-order supercharge correction, so the obstruction is a supersymmetry/BRST anomaly caused by the collision of two perturbation insertions on the line, a quantity the commutation condition does not control. The CFT counterpart is that the $(k-2)$nd minimal model contains no subcategory isomorphic to $so(3)_k$, except for one small-$k$ case, so there is no candidate image for the family of lines. The same machinery shows that the obstruction is absent when the bulk deformation is the Chebyshev completion, and there the whole $so(3)_k$ family survives to all orders, with the infrared consisting of $k+1$ massive vacua rather than the $(k-2)$nd minimal model.","pith_inferences":["A direct OPE computation of two perturbing fields inserted on the line, before any flow, should reveal a scheme-independent contact term whose coefficient is predicted by the class $[E_1J_1]$; this would test the anomaly mechanism independently of matrix factorisations.","The obstruction theory suggests a selection rule for integrable deformations: demanding that a full non-invertible category survives the flow fixes the higher-order bulk terms, and here the unique solution is the integrable Chebyshev direction, so integrability may be a consequence of symmetry preservation.","The formal continuation of the deformed factorisation to large $\\lambda$ connects the obstruction to the two massive vacua at $X \\sim \\pm i\\sqrt{\\lambda}$; a testable extension is to check whether a non-supersymmetric defect acting on those vacua can be defined, which the paper leaves open.","The small-$k$ exception where a fusion-ring map exists but the matrix-factorisation obstruction persists suggests that matching quantum dimensions is necessary but not sufficient for a line to survive; this may be the general pattern in low-rank cases."],"forward_implications":["The statement 'a perturbation commuting with a line preserves that line in the infrared' needs an extra condition: the defect-localised counterterms required at each order must exist, and second-order contact terms can obstruct them.","For the massless $N=2$ minimal-model flow, the non-invertible lines $[2\\ell,0,0]$ do not act on the $(k-2)$nd minimal model, so symmetry-based conjectures that assume they do must be revised.","Preserving the whole category $so(3)_k$ along the flow selects a unique bulk completion within the shifted-quadratic ansatz, the Chebyshev deformation, whose endpoint is a massive integrable theory rather than a minimal model.","The obstruction is intrinsic to the line: it survives arbitrary changes of presentation, including adding trivial factors and gauge transformations, so no perturbative trick can remove it.","The same second-order mechanism offers a template for detecting when other supersymmetric RG flows fail to preserve a commuting non-invertible symmetry."],"supporting_citations":[{"why":"establishes the Landau–Ginzburg description of the N=2 minimal models so W=X^{k+2} is the starting superpotential.","marker":"[17]"},{"why":"introduces matrix factorisations as the description of B-type defects in Landau–Ginzburg models, the formalism the obstruction computation uses.","marker":"[18]"},{"why":"supplies the previous RG-defect analysis of topological defects under supersymmetric flows that the paper compares to and refines.","marker":"[21]"},{"why":"identifies the Chebyshev perturbation as an integrable massive deformation of N=2 minimal models, the all-order symmetry-preserving flow.","marker":"[22]"},{"why":"shows the chiral ring of the Chebyshev superpotential is the su(2)_k fusion ring, matching the preserved defect fusion.","marker":"[23]"},{"why":"provides the construction of defect actions from the modular S-matrix used to find the lines commuting with the perturbation.","marker":"[25]"},{"why":"identifies the specific matrix factorisations corresponding to the integer-spin lines [2ℓ,0,0].","marker":"[30]"},{"why":"supplies the homotopy-category statement that gauge equivalence and stabilisation generate all presentations, making the obstruction presentation-independent.","marker":"[31]"}],"fun_headline_variants":["Second-order obstruction kills defect-line symmetries on N=2 flow","Massless N=2 flow: non-invertible defects fail as IR symmetries","Supersymmetry anomaly blocks non-invertible lines in N=2 RG flow","Defect lines survive massive flow, die on massless N=2 flow"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument presumes that the endpoint of the massless flow $W = X^{k+2} + \\lambda X^k$ really is the $(k-2)$nd $\\mathcal{N}=2$ minimal model with its standard set of infrared lines, and that the two extra massive vacua created by the perturbation do not change the symmetry analysis of the massless sector.","fun_headline_variants_meta":{"raw":{"variants":["Second-order obstruction kills defect-line symmetries on N=2 flow","Massless N=2 flow: non-invertible defects fail as IR symmetries","Supersymmetry anomaly blocks non-invertible lines in N=2 RG flow","Defect lines survive massive flow, die on massless N=2 flow"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000291,"raw_usage":{"total_tokens":1741,"prompt_tokens":1029,"completion_tokens":712,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":645,"completion_tokens_details":{"reasoning_tokens":627}},"tokens_in":645,"tokens_out":712,"duration_ms":5954,"temperature":1.0,"reasoning_tokens":627,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T15:02:44.862557+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a matrix factorisation of $W = X^{k+2} + \\lambda X^k$, polynomial in $X$ and $Y$ and reducing to the $[2\\ell,0,0]$ line at $\\lambda=0$, that exists to all orders in $\\lambda$; or exhibit a fusion-ring homomorphism from $so(3)_k$ into the $(k-2)$nd minimal model for a case the paper excludes. Either would disprove the central claim. In the opposite direction, verifying that $[E_1J_1] \\neq 0$ in $\\mathbb{C}[X,Y]/(E_0,J_0)$ directly is a finite polynomial computation that settles the obstruction for any given $k,\\ell$.","supporting_citations":[{"cited_title":"Catastrophes and the Classification of Conformal Theories,","cited_arxiv_id":null,"evidence_quote":"establishes the Landau–Ginzburg description of the N=2 minimal models so W=X^{k+2} is the starting superpotential."},{"cited_title":"Fusion rings and geometry,","cited_arxiv_id":null,"evidence_quote":"shows the chiral ring of the Chebyshev superpotential is the su(2)_k fusion ring, matching the preserved defect fusion."},{"cited_title":"Boundary conditions, fusion rules and the verlinde formula,","cited_arxiv_id":null,"evidence_quote":"provides the construction of defect actions from the modular S-matrix used to find the lines commuting with the perturbation."},{"cited_title":"Homological algebra on a complete intersection, with an application to group representations,","cited_arxiv_id":null,"evidence_quote":"supplies the homotopy-category statement that gauge equivalence and stabilisation generate all presentations, making the obstruction presentation-independent."}],"review_version":2}