{"id":"0a475028-dd6c-49db-a1cc-bfd9b5b22f56","arxiv_id":"2506.15158","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Gauging a non-invertible symmetry exchanges the D7 and E6 minimal models, completing the ADE triality.","lead":"This paper completes the known triad of symmetry operations in Virasoro minimal models, showing that gauging a non-invertible symmetry exchanges the D7 and E6 series. The result is a concrete demonstration that non-invertible symmetry gauging can reverse a previously known construction.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Reverse gauging M(A10,D7)/A*2 = M(A10,E6) rests on an unproven involution invariance; the reverse partition function is never computed.","rationale":"The paper's forward computation is a real achievement: (73)-(75) are explicit twisted partition functions, and the final sum (78) indeed yields Z_{M(A10,D7)} provided the diagram (77) is correct. The reader correctly identified the reverse leg as the weakest point. The reverse argument is compressed into three sentences after (79): it appeals to a parallel with the A11 gauging, notes that diagrams differ only in the even-s sector, and asserts that the final M(A10,E6) partition function is invariant under the involution. No explicit sum is shown, and the key diagram for L(1,7) in M(A10,D7) is not derived. Moreover, the 'invariance under involution' that would make the reverse work is the same property used (without proof) in the forward direction to pass from the known L(1,2,2) diagram (72) to the L(1,4,2) diagram (77). So the validity of both legs is pinned to the same unproven character-involution property. A direct computation of the reverse gauged partition function would settle the issue: it would either confirm the exchange or expose a failure of the involution assumption. Our assessment does not change the reader's conditional verdict; it reinforces it.","tokens_in":22294,"tokens_out":9417,"duration_ms":81689,"concrete_test":"Explicitly compute Z_{M(A10,D7)/A*2} by evaluating the five diagram contributions in equation (63) with Lx = L(1,7) in M(A10,D7), using the twisted partition functions of (36) and the multiplication morphism (67). In particular, derive the analogue of equation (77)—the three-L(1,7) diagram—directly from the F-move constraint (47) using the S-transformed data, without assuming the final sum is invariant under the involution (76). Compare the summed partition function term-by-term with Z_{M(A10,E6)} in equation (68); if they match, the reverse leg holds, and if not, the triality claim fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central triality claim includes the reverse leg M(A10,D7)/A*2 = M(A10,E6) with A*2 = 1 + L(1,7). This leg is not computed. In Section 3.2, after equation (79), the authors state that each diagram in the second line of (63) differs only in the even s sector, and that the resulting partition function of M(A10,E6) is invariant under the involution (76), so the sum is unchanged. This is an assertion, not a demonstration: the analogue of the key diagram (77) for L(1,7) in M(A10,D7) is not given, and the invariance of the full sum under the involution is not shown. The identification of A*2 = 1 + L(1,7) relies on matching the quantum dimension of A2 and on excluding 1 + L(1,5) by 'not compatible with the involution', but that compatibility is precisely the unproven step. The forward direction M(A10,E6)/A2 = M(A10,D7) is explicitly computed up to equation (78), though it also invokes the unproven exchange of F-move constraints under the involution around equations (72)-(77); if that exchange fails, the forward leg would also be affected. Since both legs of the claimed exchange depend on the involution property, and the reverse leg has no explicit final result, the triality is not established without an additional computation.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper addresses the ADE classification of Virasoro minimal models from the perspective of non-invertible symmetry gauging. The authors consider the models M(A10,E6) and M(A10,D7) with Coxeter number 12 and propose that gauging the binary algebra A2 = 1 + L(1,4,2) in M(A10,E6) produces M(A10,D7), while gauging the dual algebra A*2 = 1 + L(1,7) in M(A10,D7) returns M(A10,E6), thereby completing a triality among A, D, and E series. The forward direction is computed in detail: using the formalism of topological defect lines and F-move constraints, the authors derive the twisted partition functions and obtain in eq (78) that the gauged partition function exactly equals the known partition function of M(A10,D7). The reverse direction is treated more heuristically: the paper asserts that the relevant diagrams differ from the E6 case only by the involution (76) and that the summed partition function is invariant under this involution, but no explicit computation of M(A10,D7)/A*2 is presented.","tokens_in":22606,"tokens_out":4545,"duration_ms":39424,"significance":"The forward computation is a genuine technical achievement: it is explicit, involves no fitted parameters, and the final result (78) is cross-checked against the known D7 partition function. The use of F-symbol constraints to fix the multiplication morphism (eqs (65)-(67)) is sound as far as it goes. If the reverse direction were established, the paper would complete a clean triality picture and provide another nontrivial example of the 'gauging undo' phenomenon. However, the reverse leg is currently asserted rather than demonstrated, and since the title and abstract promise the full triality, the paper is not yet complete.","major_comments":[{"comment":"The reverse gauging M(A10,D7)/A*2 = M(A10,E6) is not computed. The text states that each diagram in the second line of (63) differs only in the even-s sector and that the summed partition function is invariant under the involution (76), but no analogue of eq (77) for the L(1,7) line in M(A10,D7) is given, and the claimed invariance of the full sum is not demonstrated. This is a load-bearing step for the paper's central claim of completing the ADE triality.","section":"Section 3.2 (after eq (79))"},{"comment":"The forward derivation relies on the assertion that 'the F-move constraint can be exchanged under the involution.' This exchange is used to conclude that the matrix elements (^L(1,4,2))^{(r,s)(r',s')}_{L(1,4,2)} are solutions of (47). No proof of the exchange is provided. Although the final partition function (78) matches the known D7 result, the intermediate step (77) is not independently justified; please provide a direct check of (77) against the constraint (47).","section":"Section 3.2, eqs (72)-(77)"},{"comment":"The identification of A*2 = 1+L(1,7) excludes 1+L(1,5) on the grounds that it is 'not compatible with the involution.' This appeal is precisely the unproven property identified in the reverse-gauging argument, so the identification of the dual algebra is not yet robust. An independent computation of the quantum dimensions and the algebra structure, or an explicit computation of the candidate gauging, would be needed.","section":"Section 3.2, eq (79) and following"}],"minor_comments":[{"comment":"The author name 'Takahilo Tanaka' is likely a typo for 'Takahiro Tanaka.'","section":"Title page"},{"comment":"Equation (58) appears inside a footnote before it is referenced; please renumber or move the displayed equation into the main text.","section":"Section 3.1, footnote 8"},{"comment":"The diagrammatic expansion in eq (63) is clear in principle, but the actual partition functions for the five diagrams are only given later in the text; a short table identifying which displayed equation corresponds to which diagram would improve readability.","section":"Section 3.2, eq (63)"},{"comment":"The notation 'M(A10,E 6)' with a space before the subscript is inconsistent; use 'M(A10,E6)' consistently.","section":"Throughout"},{"comment":"The authors cite [20] for the solution of the F-move constraints in eq (72); it would be helpful to also point the reader to the original Petkova-Zuber papers [48,49] for the twisted partition functions used in eqs (69) and (73).","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The forward computation is solid and valuable, and the paper fits the journal's scope. The main gap is the unproven reverse gauging, which is essential for the claimed triality. The reverse direction can in principle be fixed by an explicit computation, so I see this as a major-revision issue rather than a rejection. The author-name typo on the title page should also be corrected."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The new thing here is the third edge of the ADE triality: exchanging D-series and E-series minimal models by non-invertible symmetry gauging. The A-D and A-E exchanges were already known; the specific pair is M(A10,D7) and M(A10,E6). What the paper does well is compute the forward direction, M(A10,E6)/A2 = M(A10,D7), with real partition-function arithmetic, ending in equation (78) as an explicit match to the known D7 partition function. No parameter is fitted to the target; the multiplication morphism is fixed by F-symbol constraints, and the final identity is a sharp check. That is honest work and worth taking seriously.\n\nThe soft spot is the reverse direction, M(A10,D7)/A*2 = M(A10,E6). It is not computed. After equation (79) the paper says that each diagram in (63) differs only in the even s sector, and that the summed partition function is invariant under the involution, so the result follows. That is an assertion. The analogue of the key diagram (77) for L(1,7) is not given, and the claimed invariance of the full sum under the involution (76) is not shown. The exclusion of the alternative algebra 1 + L(1,5) also leans on compatibility with this same unproven involution, so the identification of A*2 is tied to exactly the step that is missing. There is a smaller concern in the forward direction too: the step from (72) to (77) relies on exchanging F-move constraints under the involution, which is stated rather than derived. I want to be fair though: the final partition function (78) matching a known D-series invariant is a strong, independent check, and if the forward computation is right, the involution property is at least consistent.\n\nSo my reading is this: the paper is plausible and the forward result is a genuine contribution, but the advertised triality is not fully established on the written evidence. The reverse leg needs either an explicit calculation or an honest downgrade to a conjecture. This is a fixable gap, not a structural flaw.\n\nWho should read it: people working on topological defect lines, non-invertible symmetries, or Virasoro minimal models will find the forward computation useful and the framework clean. It is a competent paper within an established program, not a revolution. I would send it to a serious referee, with the instruction that the reverse gauging must be supplied or the claim softened. It deserves a conditional acceptance, not a desk rejection.\n\nBring it to a reading group? Maybe, if someone is already in the RCFT/defect-line world; otherwise the one-sided computation may not sustain a long discussion.","headline":"The forward D-E gauging is an explicit, believable computation; the reverse leg is asserted rather than demonstrated, so the triality claim is not yet fully established.","tokens_in":23098,"tokens_out":2083,"would_cite":true,"duration_ms":21062,"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":"This paper establishes the third leg of ADE triality: gauging the non-invertible symmetry $A_2 = 1 + L_{(1,4,2)}$ in the E-series minimal model $M(A_{10},E_6)$ yields the D-series minimal model $M(A_{10},D_7)$, and gauging the dual $A_2^*…","keywords":["non-invertible symmetry","symmetry gauging","Virasoro minimal models","ADE classification","topological defect lines","binary algebra","character involution","duality"],"falsifier":"Explicitly sum the five diagram contributions in $M(A_{10},D_7)/A_2^*$ and compare the even-$s$ sector with $Z_{M(A_{10},E_6)}$: if the coefficient of any character pair such as $\\chi_{r,2}\\bar\\chi_{r,10}$ is not equal to the corresponding partner under $s\\mapsto 12-s$, or the sum is not invariant under that map, then the reverse leg of the triality fails.","tokens_in":22058,"feed_emoji":"🔀","tokens_out":14201,"duration_ms":117595,"temperature":0.7,"pith_summary":"Virasoro minimal models are organised by the ADE Dynkin diagrams. It was known that gauging the invertible $\\mathbb{Z}_2$ symmetry exchanges A-series with D-series, and that gauging a non-invertible symmetry exchanges A-series with E-series. This paper completes the triangle by showing that gauging another non-invertible symmetry exchanges the D-series and E-series minimal models. Concretely, gauging the algebra $A_2 = 1 + L_{(1,4,2)}$ in $M(A_{10},E_6)$ produces the partition function of $M(A_{10},D_7)$, and gauging its dual $A_2^* = 1 + L_{(1,7)}$ in $M(A_{10},D_7)$ returns $M(A_{10},E_6)$. The result matters because it shows that “what’s done can be undone”: a network of non-invertible symmetries can be gauged reversibly, even though each individual line is not invertible.","feed_headline":"Non-invertible gauging completes ADE triality","feed_subtitle":"D- and E-series minimal models swap under one gauging, closing the third leg of the ADE triangle.","key_machinery":"The machinery is gauging a non-invertible symmetry through a symmetric separable special Frobenius algebra $A$: one inserts a fine mesh of the defect line $A$ on the torus with a multiplication morphism $m$ satisfying associativity, and sums with weights. For the binary algebra $A = 1 + L_x$, the consistency conditions fix the multiplication morphism in terms of F-symbols; for instance, equations (65)-(67) give $m^{L_{(1,4,2)}}_{L_{(1,4,2)}L_{(1,4,2)}} = \\sqrt{(\\sqrt{3}-1)/(3+\\sqrt{3})}$. The second key object is the character involution $\\zeta(s)$ (even $s\\mapsto 12-s$), which relates the twisted partition functions of $M(A_{10},A_{11})$ and $M(A_{10},D_7)$, letting the authors transfer the already-solved diagram computations for $L_{(1,2,2)}$ to $L_{(1,4,2)}$.","core_discovery":"The central discovery is that the D-E leg of the ADE triality is mediated by a binary algebra object, that is, an algebra $A = 1 + L_x$ built from the identity and one self-dual topological defect line. In the minimal model $M(A_{10},E_6)$ the line $L_{(1,4,2)}$ has the right quantum dimension and the unique multiplication morphism, so the gauged partition function can be evaluated diagram by diagram. The explicit computation gives equation (78): $Z_{M(A_{10},E_6)/A_2} = Z_{M(A_{10},D_7)}$, where $A_2 = 1 + L_{(1,4,2)}$. The reverse operation uses $A_2^* = 1 + L_{(1,7)}$ in $M(A_{10},D_7)$; the paper shows that the twisted partition functions differ from those in $M(A_{10},A_{11})$ only through the character involution $\\zeta(s)$ that sends even $s$ to $12-s$, and asserts that the final sum is invariant under this involution, so the result is $Z_{M(A_{10},E_6)}$. Together with the known A-D and A-E exchanges, this closes the triangle of ADE, more precisely ADE$_6$, triality.","pith_inferences":["Editorial extension: the same involution-based shortcut may prove the E$_7$ and E$_8$ legs, because those algebra objects satisfy the same quantum-dimension product formula; an explicit even-sector check analogous to the one missing here would be the first step.","Editorial extension: because the forward direction is proven by an explicit sum and the reverse only by an asserted invariance, the triality would be on firmer ground if the reverse sum were displayed; one test is to compare the summed reverse partition function with the E$_6$ partition function term by term in the even sector rather than only up to the involution.","Editorial extension: the Morita equivalence between $A_1 = N(1 + L_{(1,4,2)})N$ and $A_2 = 1 + L_{(1,4,2)}$ suggests that gauging different algebra objects with the same quantum dimension can produce identical theories; it would be worth testing whether other binary lines in $M(A_{10},E_6)$ with the same quantum dimension also produce $M(A_{10},D_7)$, and whether the multiplication morphism alone ","Editorial extension: the construction should extend to $M(A_{h-1},D_7)$ and $M(A_{h-1},E_6)$ for other values of $h$, since the quantum dimensions of $L_{(1,2,2)}$ and $L_{(1,4,2)}$ depend on $h$ modulo 12; verifying equation (78) for $h\\neq 11$ would confirm that the triality is a property of the ADE structure rather than of the specific $(A_{10},E_6)$ representative."],"forward_implications":["The three classes A, D, and E$_6$ of Virasoro minimal models are now pairwise connected by symmetry gauging, so any one can be reached from any other by at most two gauging steps.","The gauging operation is reversible: the gauged theory carries a dual non-invertible line with the same quantum dimension, and gauging that dual line returns the original model, making the network of non-invertible symmetries invertible as a whole.","The character-involution shortcut gives a practical way to compute gauged partition functions by reusing the parent A-series diagram computations instead of evaluating every diagram from scratch.","RG flows that preserve the gauged line commute with the exchange, so flows previously constructed for one series can be exported to the other series, as the authors note for integer $k$.","The same strategy is the natural next step for E$_7$ and E$_8$, whose algebra objects $1 + L_{(1,9)} + L_{(1,17)}$ and $1 + L_{(1,11)} + L_{(1,19)} + L_{(1,29)}$ are not binary and would require more involved multiplication morphisms and more diagrams."],"supporting_citations":[{"why":"It supplies the classification of topological defect lines and the explicit twisted partition functions for Virasoro minimal models, which are the input diagrams in equations (68)-(77).","marker":"[48, 49]"},{"why":"It provides the gauging prescription for non-invertible symmetries, the dual-algebra relation, and the F-symbol constraints that fix the multiplication morphism of $A_2$.","marker":"[58]"},{"why":"It gives the uniqueness lemma and classification of algebra objects of the form $1+X$, which justifies treating $A_2 = 1 + L_{(1,4,2)}$ as a well-defined binary algebra.","marker":"[72]"},{"why":"It establishes that gauging $1 + L_{(1,7)}$ sends $M(A_{10},A_{11})$ to $M(A_{10},E_6)$, the computation pattern that the reverse leg mirrors.","marker":"[78]"},{"why":"It defines symmetric separable special Frobenius algebras as the data for non-invertible symmetry gauging and introduces the fusion-category framework used throughout the paper.","marker":"[11]"},{"why":"It solves the F-move constraint for the defect line $L_{(1,2,2)}$, and the paper uses the involution to transfer those solutions to $L_{(1,4,2)}$.","marker":"[20]"}],"fun_headline_variants":["Non-invertible gauging swaps D and E minimal models","ADE triality's final leg: D-E exchange via gauging","Binary algebra object closes ADE triality triangle","Gauging non-invertible symmetry completes ADE triality","D-E leg of ADE triality mediated by non-invertible gauging"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that after adding the five contributions in the reverse gauging, the final partition function is unchanged when every even index $s$ is replaced by $12-s$; the paper states this invariance but does not display the summed result.","fun_headline_variants_meta":{"raw":{"variants":["Non-invertible gauging swaps D and E minimal models","ADE triality's final leg: D-E exchange via gauging","Binary algebra object closes ADE triality triangle","Gauging non-invertible symmetry completes ADE triality","D-E leg of ADE triality mediated by non-invertible gauging"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000579,"raw_usage":{"total_tokens":2702,"prompt_tokens":890,"completion_tokens":1812,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":506,"completion_tokens_details":{"reasoning_tokens":1723}},"tokens_in":506,"tokens_out":1812,"duration_ms":14427,"temperature":1.0,"reasoning_tokens":1723,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T19:41:48.130853+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Explicitly sum the five diagram contributions in $M(A_{10},D_7)/A_2^*$ and compare the even-$s$ sector with $Z_{M(A_{10},E_6)}$: if the coefficient of any character pair such as $\\chi_{r,2}\\bar\\chi_{r,10}$ is not equal to the corresponding partner under $s\\mapsto 12-s$, or the sum is not invariant under that map, then the reverse leg of the triality fails.","supporting_citations":[],"review_version":1}