{"id":"e1038f9d-2b44-448f-a55f-b5e0ca148d7d","arxiv_id":"2608.12303","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A SymTFT-based construction realizes proliferation transitions for any condensable algebra in a modular tensor category, with the symmetry fixed by the transparent lines of the algebra's generated subcategory.","lead":"This paper gives a general recipe for building phase transitions that spread out, or proliferate, anyons in 2+1d topological phases, including non-abelian ones. The recipe uses a higher-dimensional symmetry topological field theory, so a physicist can turn one topological phase into another by tuning boundary scalars.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The (3.35) transition is not universal for type (iii) algebras: the terminal step S_{M_A -> M_A/hat A} is an unproven scalar-per-generator proposal, and the k=28 case is explicitly deferred.","rationale":"The paper's SymTFT machinery is coherent for types (i) and (ii), and the abelian and D(S3) examples are worked out in detail. The concern I focus on is not a contradiction in those derivations but a gap where the stated result exceeds the proof. In type (iii), the generated subcategory is modular and E_A = Vec, so the Rep(G)-based construction, the bulk Z(G), and the LG* step all become trivial; the transition must be supplied by S_{M_A -> M_A/hat A}, which the paper explicitly says it does not have a universal construction for. This is load-bearing because type (iii) algebras appear in representative examples and because the abstract promises a general construction. The reader's weakest assumption identified super-Tannakian centers; I consider the type (iii) gap more central, so we only partially agree. The appropriate verdict remains CONDITIONAL: the framework is largely convincing, but the claim of generality should be narrowed to types (i) and (ii) plus case-by-case type (iii) input, or the missing base case must be supplied. The concrete test targets the smallest explicit instance where the missing step has to exist; because the reader already assigned CONDITIONAL, no adjustment is needed.","tokens_in":32878,"tokens_out":17857,"duration_ms":173100,"concrete_test":"Take the smallest open type (iii) case, T = SU(2)_28 with A_E8 = (0)+(5)+(9)+(14), and construct explicitly the transition SO(3)_14 -> (G2)_1 required by (3.35). Write an SO(3) Chern-Simons-matter action with scalar multiplets, choose a potential whose generic vev fully breaks the gauge group (or leaves only the correct discrete sector), and compute the low-energy TQFT. If the result is (G2)_1, the recursive proposal has a working base case; if every finite multiplet leaves a residual U(1) with nonzero level, or yields the wrong TQFT, the type (iii) step fails and the claimed universality must be withdrawn.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 3.3 presents (3.35) as the transition theory for all three algebra types, but its type (iii) content is not constructed. When E_A = Vec and G = 1, the LG* factor S_{H subset G}^{LG} vanishes and (3.35) reduces to the unknown factor S_{M_A -> M_A/hat A}. The text says this explicitly: \"We are not aware of a universal construction for S_{M_A -> M_A/hat A}, but we can rerun the same argument...\" and then proposes \"to include scalars for each generating anyon.\" That proposal is not derived from any theorem, and it is not demonstrated in a single direct type (iii) example: the D(S3) cases 1+E+[b] and 1+[a]+[b] are handled by two-step condensation in (5.20), not by the proposed general algorithm. In SU(2)_28 the directly required transition SO(3)_14 -> (G2)_1 is deferred in section 6.1 with \"We leave this type (iii) transition for future exploration.\" Thus the central claim that (3.35) realizes T -> T/A for every condensable algebra is not established even within the paper's own Tannakian scope: the recursive protocol has a terminal case that is an open conjecture. The super-Tannakian exclusion is a further scope restriction, but the type (iii) gap is more load-bearing because it sits inside the advertised domain and affects ordinary bosonic examples.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a general SymTFT construction of proliferation phase transitions T → T/A for a condensable algebra A in a modular tensor category T. For each A the authors define the generated subcategory ⟨A⟩ and its Müger center EA ≅ Rep(G), take the bulk to be 3+1d G gauge theory, and build non-minimal boundaries from MA = ⟨A⟩/Rep(G) and NA = ⟨A⟩'/Rep(G). The transition is realized on the symmetry boundary by scalars that Higgs Rep(G) down to Rep(H) and condense the image â of A; the claimed endpoint is T/A = (MA/â) ⊠ NA/H^(0). The identities (3.23), (3.30) and (3.32) are supported by a proof in Appendix B and are checked in abelian examples, D(S3), SU(2)_k and its double, including a canonical treatment of anomalous anyons with a minimal auxiliary TQFT. Three algebra types are distinguished: type (i) is fully constructed as an LG* transition, type (ii) is reduced recursively, and type (iii) relies on an explicitly acknowledged, unproven scalar-per-generator proposal.","tokens_in":33153,"tokens_out":7905,"duration_ms":69281,"significance":"If the type (iii) gap is closed, the paper would provide the first systematic construction of proliferation transitions for non-abelian anyons, with no free parameters and with endpoint formulas derived from Müger’s and Deligne’s theorems rather than from any fitting. The clean separation of bulk and boundary data, the explicit treatment of non-minimal boundary conditions, and the worked D(S3) and SU(2)_k examples are valuable and make the proposal falsifiable. However, as stated, the main theorem is not fully established for type (iii), and the abstract’s unqualified “arbitrary condensable algebra” overstates the Tannakian-boson restriction. These are load-bearing caveats in an otherwise well-constructed framework.","major_comments":[{"comment":"The factor S_{M_A → M_A/â} in the general transition theory is not constructed. The paper itself states, “We are not aware of a universal construction for S_{M_A → M_A/â},” and the subsequent scalar-per-generator proposal is a conjecture, not a theorem. This is load-bearing because for type (iii) algebras, where EA = Vec and G = 1, the LG* factor is absent and (3.35) reduces to exactly this unknown factor. No direct type (iii) example is treated by the proposed algorithm: the two D(S3) type (iii) algebras are instead obtained by the two-step condensation (5.20). Thus the central claim that (3.35) realizes T → T/A for every condensable algebra is established only modulo an open terminal step.","section":"Section 3.3, Eqs. (3.34)–(3.35)"},{"comment":"The required transition SO(3)_14 → (G2)_1 is deferred with “We leave this type (iii) transition for future exploration.” This is a load-bearing omission because the E8 algebra at k=28 lies inside the paper’s main Tannakian scope (its Müger center is Rep(Z2)), and the transition theory (3.35) cannot be completed for this example without the missing S factor. The example therefore does not currently demonstrate the advertised construction, and it leaves the type (iii) protocol without a single direct bosonic test case.","section":"Section 6.1, k=28"},{"comment":"The paper claims to treat arbitrary condensable algebras, but the general construction assumes a Tannakian Müger center EA = Rep(G), excluding super-Tannakian centers Rep(G,z) with transparent fermions. This restriction is stated honestly, but it contradicts the unqualified “arbitrary” claim and it can affect intermediate steps of the recursive type (ii) protocol if a substep lands on a super-Tannakian center. The claims should be re-scoped to condensable algebras with Tannakian Müger center, or the super-Tannakian cases should be treated.","section":"Abstract and Section 2, footnote 18"}],"minor_comments":[{"comment":"Equation (5.4) writes the transition as P_{D(S3)→D(Z2)}, but the preceding line identifies the endpoint as D(Z3); please correct this inconsistency.","section":"Section 5, Eq. (5.4)"},{"comment":"In the sentence “This is preciselt in the general discussion,” the word “preciselt” should be “precisely.”","section":"Section 4"},{"comment":"The transition-theory row for type (iii) lists “One scalar per generating anyon” without indicating that this is a proposal rather than a derived result; adding an explicit marker would prevent readers from over-counting the degree of proof.","section":"Table I"}],"recommendation":"major_revision","confidential_remarks":"The paper is well written and the central identities for types (i) and (ii) are convincing. The decisive issue for the journal is whether the advertised universality is narrowed to the proven cases or whether a direct type (iii) example, such as the SU(2)_28 transition SO(3)_14 → (G2)_1, is worked out. I would not accept the manuscript in its current form."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear X,\n\nThe headline, as I see it: this is a genuinely new and mostly sound framework, but the abstract's claim of 'arbitrary condensable algebra' is stronger than what the paper actually delivers. The type (iii) terminal step is an open conjecture, and the authors admit as much.\n\nWhat is actually new: the systematic association of a condensable algebra A to the Müger center E_A = Rep(G) of its generated subcategory, and the SymTFT sandwich realization of the proliferation transition T -> T/A as a boundary Higgsing. For types (i) and (ii) this works cleanly. The identities (3.23), (3.30), (3.32) are derived from Müger/Deligne and condensation transitivity, not fitted, and the D(S3) and SU(2)_k examples check out. The appendix B proof of (3.30) is a real proof. The anomalous anyon extension with a canonically minimal auxiliary theory is also a genuine step beyond the abelian treatment in Cheng-Seiberg. Credit where due: the paper is honest about its own limitations, and the categorical machinery is used carefully.\n\nThe soft spot is the one the stress-test flags. Equation (3.35) is presented as the transition theory for all three types, but for type (iii) it reduces to S_{M_A -> M_A/hat A}, for which the text says, and I quote, 'We are not aware of a universal construction' and then proposes 'one scalar per generating anyon' as a guess. That guess is not proven and not tested in a direct type (iii) example: the D(S3) type (iii) algebras are handled by two-step condensation (5.20), not by the proposed algorithm, and the SU(2)_28 transition SO(3)_14 -> (G2)_1 is explicitly deferred. This is not a fatal flaw in the type (i)-(ii) framework, but it is a load-bearing gap for the advertised generality. The super-Tannakian exclusion (transparent fermions, e.g. SU(2)_10 and SU(2)_k for k ≡ 2 mod 4) is a further scope restriction, acknowledged in footnote 18, and therefore minor on its own, but it reinforces the point: the paper covers a large and well-defined class, not 'arbitrary' algebras.\n\nWho gets value: anyone working on anyon condensation, phase transitions between topological orders, or SymTFT applications. It deserves a serious referee. My recommendation: send it to review, but the referee should push the authors to either narrow the abstract's generality claims or supply a genuine type (iii) construction. As it stands, it is a strong framework paper with an honest boundary on its own reach.\n\nBest, [You]","headline":"The SymTFT framework for proliferation transitions is genuinely new and mostly solid for types (i) and (ii), but the abstract's 'arbitrary condensable algebra' outruns the delivery: the type (iii) terminal step is an explicit conjecture, and the paper says so in the text.","tokens_in":33733,"tokens_out":1595,"would_cite":true,"duration_ms":15189,"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":"Non-abelian anyon condensation becomes one boundary Higgsing step.","keywords":["anyon condensation","proliferation transition","SymTFT","non-abelian anyons","modular tensor category","Müger center","boundary Higgsing","anomalous anyons"],"falsifier":"A concrete check: for $T=D(S_3)$ and $A=1\\oplus 1_-$, the recipe predicts the $\\mathbb{Z}_2$-gauged Ising ($\\mathrm{Ising}^*$) transition; building a lattice model with the proposed boundary scalars and measuring critical exponents would confirm or refute that prediction, and the same comparison can be made for the $S_3$ Lagrangian algebras, where the transition is predicted to be first order.","tokens_in":32610,"feed_emoji":"🌀","tokens_out":11620,"duration_ms":94638,"temperature":0.7,"pith_summary":"The paper claims that any anyon condensation $T\\to T/A$ in a 2+1d topological order can be realized as a genuine phase transition, including when the condensed anyons are non-abelian. The construction embeds $T$ in a 3+1d symmetry topological field theory (SymTFT) whose bulk is fixed by the transparent lines of the subcategory generated by the condensed anyons; when those transparent lines are bosonic they form $\\mathrm{Rep}(G)$ for a finite group $G$. The transition is driven entirely on one boundary by scalar fields whose vacuum expectation values change the boundary condition, while the opposite boundary stays fixed as the input theory. If correct, this is the first systematic prescription for proliferation transitions for arbitrary condensable algebras: it reproduces the known abelian case, and produces explicit field theories for non-abelian examples such as $D(S_3)$ and $SU(2)_k$ theories.","feed_headline":"Non-abelian anyon condensation becomes a boundary Higgsing step","feed_subtitle":"Transparent lines set the 3+1d SymTFT; scalar vevs on one boundary drive T to T/A.","key_machinery":"The load-bearing object is the Müger center $E_A=Z_2(\\langle A\\rangle)\\cong\\mathrm{Rep}(G)$ of the category generated by the condensable algebra; by Deligne's theorem it is $\\mathrm{Rep}(G)$ whenever all transparent lines are bosons. This fixes the SymTFT bulk as 3+1d $G$ gauge theory, with the anyons of $A$ placed on a symmetry boundary stacked with $M_A=\\langle A\\rangle/\\mathrm{Rep}(G)$, and the physical boundary stacked with $N_A=\\langle A\\rangle'/\\mathrm{Rep}(G)$. The mechanism driving the transition is boundary Higgsing: scalar fields on the symmetry boundary terminate the Wilson lines of $A$, and their expectation values change the boundary condition from Neumann-type to Dirichlet-type (possibly with residual $M_A/\\hat A$ and $H$ stacking). Algebraically, the transition is the replacement in eq. (3.35), combining a Landau-Ginzburg theory $S^{\\mathrm{LG}}_{H\\subset G}$ with a smaller transition $S_{M_A\\to M_A/\\hat A}$ that can be defined recursively until it terminates in type (i) or type (iii).","core_discovery":"For a condensable algebra $A$ in a modular tensor category $T$, let $\\langle A\\rangle$ be the fusion subcategory that $A$ generates and $E_A=Z_2(\\langle A\\rangle)\\cong\\mathrm{Rep}(G)$ its Müger center. The central claim is that both $T$ and $T/A$ admit SymTFT sandwiches in 3+1d $G$ gauge theory with the same physical boundary, and that the proliferation transition $T\\to T/A$ is the boundary phase transition in which the symmetry boundary is replaced by $(B_{\\mathrm{Dir}}\\boxtimes S_{M_A\\to M_A/\\hat A}\\boxtimes S^{\\mathrm{LG}}_{H\\subset G})/G^{(0)}$, eq. (3.35), where $M_A=\\langle A\\rangle/\\mathrm{Rep}(G)$, $N_A=\\langle A\\rangle'/\\mathrm{Rep}(G)$, $\\hat A$ is the image of $A$ in $M_A$, and $H$ is the stabilizer associated with the transparent part $A\\cap E_A=\\mathrm{Fun}(G/H)$. The endpoint is $T/A=(M_A/\\hat A)\\boxtimes N_A/H^{(0)}$. The claim covers abelian and non-abelian anyons, with algebras of Tannakian, mixed, and modular type; worked examples include every condensable algebra of $D(S_3)$, $SU(2)_k$ for $4|k$, the doubles $SU(2)_k\\boxtimes SU(2)_{-k}$, and a canonical extension to anomalous anyons that cannot be gauged inside $T$ alone.","pith_inferences":["Extension: the predicted universality classes are directly testable in lattice realizations of the $D(S_3)$ and $SU(2)_8$ transitions; finite-size scaling of the order parameter would distinguish the Ising$^*$ and first-order predictions from generic first-order behavior.","Extension: if the recursive picture holds, any multi-step anyon condensation chain can be organized into sequential boundary Higgsings, which suggests a systematic Landau-Ginzburg potential for nested condensations rather than a case-by-case construction.","Extension: the transparent-fermion cases explicitly left out (for example $SU(2)_{10}$ with the $E_6$ algebra and the $k\\equiv 2 \\bmod 4$ doubles) are the natural next test; a spin-SymTFT generalization would likely need the super-Tannakian analogue of the Rep(G) identification as its input.","Extension: for anomalous $X$, the paper's factorization of any anomaly-cancelling theory into $M_X\\boxtimes X'$ implies a form of uniqueness for the minimal auxiliary sector; classifying all such $X$ would show whether the endpoint depends only on $M_X$."],"forward_implications":["Every condensable algebra in a modular tensor category acquires a boundary-Higgsing transition whose two sides are exactly $T$ and $T/A$, so anyon condensation is realized as the long-distance limit of a local phase transition rather than only a topological operation.","For type (i) algebras the transition is a Landau-Ginzburg$^*$ model for $G\\to H$; in $D(S_3)$, the $\\mathrm{Rep}(\\mathbb{Z}_2)$ transition is the $\\mathbb{Z}_2$-gauged Ising transition and the Lagrangian algebras give the $S_3$-gauged Landau-Potts model.","For $SU(2)_k$ with $4|k$, the $A_D$ transition $SU(2)_k\\to SO(3)_{k/2}$ falls in the Ising$^*$ universality class, and the diagonal Lagrangian algebra of $SU(2)_k\\boxtimes SU(2)_{-k}$ is realized by condensing a bifundamental scalar, recovering the known self-dual Higgs transition.","Anomalous anyons that cannot be gauged inside $T$ can still be proliferated by stacking a canonically chosen minimal TQFT $M_X$ and gauging the diagonal; the endpoint is $N_X=\\langle X\\rangle'/E_X$, generalizing the abelian minimal-theory construction.","Type (ii) transitions decompose recursively into an LG$^*$ step followed by a strictly smaller proliferation, so the construction terminates after finitely many steps."],"supporting_citations":[{"why":"Supplies the single abelian anyon proliferation transition that the construction generalizes and the comparison point for abelian examples.","marker":"[2]"},{"why":"Provides the SymTFT sandwich setup, including non-minimal stacked boundary conditions used for T and T/A.","marker":"[12–15]"},{"why":"Deligne's theorem identifying Tannakian categories with Rep(G) underlies the claim that the Müger center is Rep(G).","marker":"[17]"},{"why":"Müger's centralizer dimension formula and factorization theorem produce the M_A and N_A data in the sandwich.","marker":"[27]"},{"why":"Classifies algebras in Rep(G) as Fun(G/H), fixing the type (i) coset structure and the stabilizer H.","marker":"[32]"},{"why":"Lists the condensable algebras of D(S3) that section 5 uses to test the general construction.","marker":"[22]"},{"why":"The ADE classification of SU(2)_k modular invariants supplies the condensable algebras used in the Chern-Simons examples.","marker":"[44]"},{"why":"Defines the minimal TQFT for anomalous abelian anyons that section 7 generalizes to non-abelian X.","marker":"[4]"},{"why":"Gives the prior self-dual Higgs transition for the diagonal Lagrangian algebra, which the construction recovers and extends.","marker":"[8]"}],"fun_headline_variants":["SymTFT maps anyon condensation to a boundary Higgsing transition","Non-abelian anyon proliferation becomes boundary Higgsing in SymTFT","Transparent lines drive anyon condensation into a phase transition","Boundary scalar vevs trigger proliferation of condensable anyons","Proliferating anyons is a Higgsing step on the symmetry boundary"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction assumes that the transparent lines in the subcategory generated by the anyons being condensed are all bosons, so they form $\\mathrm{Rep}(G)$ for a finite group $G$; if a transparent fermion appears, the bulk is no longer ordinary $G$ gauge theory and the stated boundary recipe does not directly apply.","fun_headline_variants_meta":{"raw":{"variants":["SymTFT maps anyon condensation to a boundary Higgsing transition","Non-abelian anyon proliferation becomes boundary Higgsing in SymTFT","Transparent lines drive anyon condensation into a phase transition","Boundary scalar vevs trigger proliferation of condensable anyons","Proliferating anyons is a Higgsing step on the symmetry boundary"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000719,"raw_usage":{"total_tokens":3272,"prompt_tokens":1033,"completion_tokens":2239,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":649,"completion_tokens_details":{"reasoning_tokens":2147}},"tokens_in":649,"tokens_out":2239,"duration_ms":16315,"temperature":1.0,"reasoning_tokens":2147,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T00:08:34.554642+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete check: for $T=D(S_3)$ and $A=1\\oplus 1_-$, the recipe predicts the $\\mathbb{Z}_2$-gauged Ising ($\\mathrm{Ising}^*$) transition; building a lattice model with the proposed boundary scalars and measuring critical exponents would confirm or refute that prediction, and the same comparison can be made for the $S_3$ Lagrangian algebras, where the transition is predicted to be first order.","supporting_citations":[{"cited_title":"ForD(S 3) the pure charges are irreps: the trivial 1, the sign 1 −, and the 2d irrepE","cited_arxiv_id":null,"evidence_quote":"Supplies the single abelian anyon proliferation transition that the construction generalizes and the comparison point for abelian examples."},{"cited_title":"Module categories over the Drinfeld double of a finite group,","cited_arxiv_id":null,"evidence_quote":"Classifies algebras in Rep(G) as Fun(G/H), fixing the type (i) coset structure and the stabilizer H."},{"cited_title":"For instance, Ising∗ universality class is related to Ising university class by gaugingZ 2","cited_arxiv_id":null,"evidence_quote":"The ADE classification of SU(2)_k modular invariants supplies the condensable algebras used in the Chern-Simons examples."},{"cited_title":"This case has been studied also in [2], and so serves as a point of comparison","cited_arxiv_id":null,"evidence_quote":"Defines the minimal TQFT for anomalous abelian anyons that section 7 generalizes to non-abelian X."},{"cited_title":"An anomalous 1-form symmetry ofTcannot be gauged withinTby itself","cited_arxiv_id":null,"evidence_quote":"Gives the prior self-dual Higgs transition for the diagonal Lagrangian algebra, which the construction recovers and extends."}],"review_version":1}