REVIEW 3 major objections 5 minor 90 references
ADE triality via (non-)invertible symmetry gauging
T0 review · 3 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read 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^*…
desk verdict 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. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
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)}$.
What would settle it
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.
Extended reading notes
Core claim
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.
Load-bearing premise
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.
Editorial extensions
If this is right
- 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.
Reading between the lines
- 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.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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.
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 (3)
- [Section 3.2 (after eq (79))] 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 3.2, eqs (72)-(77)] 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 3.2, eq (79) and following] 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.
minor comments (5)
- [Title page] The author name 'Takahilo Tanaka' is likely a typo for 'Takahiro Tanaka.'
- [Section 3.1, footnote 8] Equation (58) appears inside a footnote before it is referenced; please renumber or move the displayed equation into the main text.
- [Section 3.2, eq (63)] 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.
- [Throughout] The notation 'M(A10,E 6)' with a space before the subscript is inconsistent; use 'M(A10,E6)' consistently.
- [References] 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).
Circularity Check
No significant circularity: the forward gauging is explicitly computed and matched to the known D7 partition function; the reverse leg relies on an unproven involution invariance, which is a soundness gap rather than a circular reduction.
full rationale
The central forward result is a direct computation. The multiplication morphism for A2 is fixed by the algebra constraints (62)-(67), with the F-symbol gauge (66) and the resulting morphisms (67) used to sum the five diagrams of (63); the final sum in (78) is then compared with the known M(A10,D7) partition function, which is an external benchmark rather than an input. The comparison with Petkova-Zuber twisted partition functions (25) and the quoted result [20] are independent supports, not self-citations, and no parameter is fitted to the target Z_M(A10,D7). The reverse leg M(A10,D7)/A*2 = M(A10,E6) is not computed explicitly: the paper asserts, after (79), that each diagram 'differs only in the even s sector' and that the resulting partition function 'is invariant under the involution,' without exhibiting the analogue of (77) for L(1,7) on M(A10,D7) or proving the F-move exchange under the involution. The exclusion of the alternative candidate 1+L(1,5) by 'not compatible with the involution' likewise invokes the same unproved property. These are genuine unproven steps, and the reverse direction should be regarded as an assertion rather than a derivation, but they are not circular: the target partition function is not used to define the algebra or morphisms, and the forward claim does not reduce by construction to its input. The self-citation [53] appears only in the discussion of applying the triality to RG flows and is not load-bearing for the gauging computation. Accordingly the appropriate circularity score is low (1), with the main caveat being the unproven reverse-leg assumption rather than any equivalence between inputs and outputs by definition.
Assumptions & free parameters
assumptions (6)
- domain assumption Petkova-Zuber formulas (25) give all TDL twisted partition functions for Virasoro minimal models.
- domain assumption ADE classification of modular invariant partition functions (21)-(24) is complete.
- domain assumption Ocneanu graph fusion algebra controls TDL fusion rules (20) and is correctly tabulated for D7 and E6 in Sections 2.3.3 and 2.3.4.
- domain assumption The non-invertible gauging procedure defined by a symmetric separable special Frobenius algebra is valid, and F-move constraints (47) are necessary and sufficient.
- ad hoc to paper The F-move constraints are exchanged under the involution zeta between L(1,2,2) and L(1,4,2).
- ad hoc to paper The partition function of M(A10,D7)/A*2 is invariant under zeta, so the reverse gauging equals M(A10,E6).
Cite this review
Pith. "Pith review of ADE triality via (non-)invertible symmetry gauging." pith.science (2026). https://pith.science/paper/4FNVU7ME
@misc{pith2026250615158,
author = {Pith},
title = {Pith review of: ADE triality via (non-)invertible symmetry gauging},
year = {2026},
howpublished = {\url{https://pith.science/paper/4FNVU7ME}},
note = {Machine review of arXiv:2506.15158}
}
abstract
It is long known that A-series minimal models and D-series minimal models are exchanged by gauging the invertible $\mathbb{Z}_2$ symmetry. More recently, it has been shown that A-series minimal models and E-series minimal models are exchanged by gauging a non-invertible symmetry. We complete the triality picture by showing that D-series minimal models and E-series minimal models are exchanged by gauging another non-invertible symmetry.
Figures
Figures from the paper (2 more)
Reference graph
Works this paper leans on
- [1]
-
[2]
D. Gaiotto, A. Kapustin, N. Seiberg, and B. Willett, JHEP02, 172 (2015), 1412.5148
arXiv 2015
-
[3]
Davighi, PoS DISCRETE2024, 076 (2025), 2504.05960
J. Davighi, PoS DISCRETE2024, 076 (2025), 2504.05960
arXiv 2025
- [4]
- [5]
-
[6]
T. D. Brennan and S. Hong, (2023), 2306.00912. 28
arXiv 2023
-
[7]
Iqbal, Jena lectures on generalized global symmetries: principles and applications, 2024, 2407.20815
N. Iqbal, Jena lectures on generalized global symmetries: principles and applications, 2024, 2407.20815
arXiv 2024
- [8]
Show all 90 references
- [9]
-
[10]
Cordova, T
C. Cordova, T. T. Dumitrescu, K. Intriligator, and S.-H. Shao, Snowmass White Paper: Generalized Symmetries in Quantum Field Theory and Beyond, in Snowmass 2021, 2022, 2205.09545
2021 arXiv
- [11]
-
[12]
Chang, Y.-H
C.-M. Chang, Y.-H. Lin, S.-H. Shao, Y. Wang, and X. Yin, JHEP 01, 026 (2019), 1802.04445
2019 arXiv
-
[13]
E. P. Verlinde, Nucl. Phys. B 300, 360 (1988)
1988
-
[14]
Oshikawa and I
M. Oshikawa and I. Affleck, Phys. Rev. Lett. 77, 2604 (1996), hep-th/9606177
1996 arXiv
-
[15]
Oshikawa and I
M. Oshikawa and I. Affleck, Nucl. Phys. B 495, 533 (1997), cond-mat/9612187
1997 arXiv
-
[16]
Frohlich, J
J. Frohlich, J. Fuchs, I. Runkel, and C. Schweigert, Phys. Rev. Lett. 93, 070601 (2004), cond-mat/0404051
2004 arXiv
-
[17]
Frohlich, J
J. Frohlich, J. Fuchs, I. Runkel, and C. Schweigert, Nucl. Phys. B 763, 354 (2007), hep-th/0607247
2007 arXiv
-
[18]
G. W. Moore and N. Seiberg, Commun. Math. Phys. 123, 177 (1989)
1989
- [19]
- [20]
- [21]
-
[22]
I. M. Burbano, J. Kulp, and J. Neuser, JHEP 10, 186 (2022), 2112.14323
2022 arXiv
-
[23]
Y.-H. Lin, M. Okada, S. Seifnashri, and Y. Tachikawa, JHEP 03, 094 (2023), 2208.05495. 29
2023 arXiv
- [24]
- [25]
- [26]
- [27]
- [28]
- [29]
- [30]
-
[31]
Buican and R
M. Buican and R. Radhakrishnan, Commun. Math. Phys. 405, 217 (2024), 2309.15181
2024 arXiv
-
[32]
Cordova, S
C. Cordova, S. Hong, S. Koren, and K. Ohmori, Phys. Rev. X 14, 031033 (2024), 2211.07639
2024 arXiv
- [33]
-
[34]
Y. Choi, C. Cordova, P.-S. Hsin, H. T. Lam, and S.-H. Shao, Commun. Math. Phys. 402, 489 (2023), 2204.09025
2023 arXiv
-
[35]
Y. Choi, C. Cordova, P.-S. Hsin, H. T. Lam, and S.-H. Shao, Phys. Rev. D 105, 125016 (2022), 2111.01139
2022 arXiv
-
[36]
Y. Choi, H. T. Lam, and S.-H. Shao, JHEP 09, 067 (2023), 2212.04499
2023 arXiv
-
[37]
Y. Choi, H. T. Lam, and S.-H. Shao, Phys. Rev. Lett. 129, 161601 (2022), 2205.05086
2022 arXiv
- [38]
- [39]
- [40]
-
[41]
Y. Choi, H. T. Lam, and S.-H. Shao, Phys. Rev. Lett. 130, 131602 (2023), 2208.04331. 30
2023 arXiv
-
[42]
Y. Choi, M. Forslund, H. T. Lam, and S.-H. Shao, Phys. Rev. Lett. 132, 121601 (2024), 2309.03937
2024 arXiv
- [43]
- [44]
-
[45]
Arbalestrier, R
A. Arbalestrier, R. Argurio, and L. Tizzano, Phys. Rev. D 110, 105012 (2024), 2405.06596
2024 arXiv
-
[46]
Cappelli, C
A. Cappelli, C. Itzykson, and J. B. Zuber, Commun. Math. Phys. 113, 1 (1987)
1987
- [47]
-
[48]
V. B. Petkova and J. B. Zuber, Phys. Lett. B 504, 157 (2001), hep-th/0011021
2001 arXiv
-
[49]
V. B. Petkova and J. B. Zuber, Nucl. Phys. B 603, 449 (2001), hep-th/0101151
2001 arXiv
- [50]
- [51]
- [52]
- [53]
-
[54]
Di Francesco, P
P. Di Francesco, P. Mathieu, and D. Senechal, Conformal Field Theory Graduate Texts in Contemporary Physics (Springer-Verlag, New York, 1997)
1997
-
[55]
Frohlich, J
J. Frohlich, J. Fuchs, I. Runkel, and C. Schweigert, Defect Lines, Dualities and Generalised Orbifolds, in 16th International Congress on Mathematical Physics , pp. 608–613, 2010, 0909.5013
2010 arXiv
- [56]
-
[57]
Brunner, N
I. Brunner, N. Carqueville, and D. Plencner, Proc. Symp. Pure Math. 88, 231 (2014), 1310.0062
2014 arXiv
-
[58]
Diatlyk, C
O. Diatlyk, C. Luo, Y. Wang, and Q. Weller, JHEP 03, 127 (2024), 2311.17044
2024
- [59]
-
[60]
Perez-Lona, D
A. Perez-Lona, D. Robbins, E. Sharpe, T. Vandermeulen, and X. Yu, JHEP 02, 154 (2024), 2311.16230
2024 arXiv
-
[61]
Perez-Lona, D
A. Perez-Lona, D. Robbins, E. Sharpe, T. Vandermeulen, and X. Yu, JHEP 05, 066 (2025), 2408.16811
2025 arXiv
-
[62]
Yu and H
X. Yu and H. Y. Zhang, (2025), 2504.05374
2025
-
[63]
Petkova and J.-B
V. Petkova and J.-B. Zuber, Prog. Math. Phys. 23, 415 (2002), hep-th/0108236
2002 arXiv
-
[64]
V. B. Petkova, Phys. Atom. Nucl. 76, 1268 (2013)
2013
-
[65]
R. E. Behrend, P. A. Pearce, V. B. Petkova, and J.-B. Zuber, Nucl. Phys. B 570, 525 (2000), hep-th/9908036
2000 arXiv
-
[66]
C. H. O. Chui, C. Mercat, and P. A. Pearce, J. Phys. A 36, 2623 (2003), hep- th/0210301
2003
-
[67]
C. H. Otto Chui and P. A. Pearce, J. Stat. Mech. 0506, P06008 (2005), hep- th/0505085
2005
-
[68]
Coquereaux and G
R. Coquereaux and G. Schieber, J. Geom. Phys. 42, 216 (2002), hep-th/0107001
2002 arXiv
- [69]
-
[70]
P. A. Pearce and J. Rasmussen, (2024), 2409.06236
2024 arXiv
-
[71]
Chung, M
S.-w. Chung, M. Fukuma, and A. D. Shapere, Int. J. Mod. Phys. A 9, 1305 (1994), hep-th/9305080
1994 arXiv
- [72]
-
[73]
Fuchs, I
J. Fuchs, I. Runkel, and C. Schweigert, Nucl. Phys. B 646, 353 (2002), hep- th/0204148
2002
- [74]
- [75]
-
[76]
Etingof, S
P. Etingof, S. Gelaki, D. Nikshych, and V. Ostrik, Tensor CategoriesMathematical Surveys and Monographs (American Mathematical Society, 2016). 32
2016
-
[77]
Y. Choi, B. C. Rayhaun, Y. Sanghavi, and S.-H. Shao, Phys. Rev. D 108, 125005 (2023), 2305.09713
2023 arXiv
- [78]
-
[79]
Roumpedakis, S
K. Roumpedakis, S. Seifnashri, and S.-H. Shao, Commun. Math. Phys. 401, 3043 (2023), 2204.02407
2023 arXiv
-
[80]
I. R. Klebanov, V. Narovlansky, Z. Sun, and G. Tarnopolsky, JHEP 02, 066 (2023), 2211.07029
2023 arXiv
-
[81]
Katsevich, I
A. Katsevich, I. R. Klebanov, and Z. Sun, JHEP 03, 170 (2025), 2410.11714
2025
-
[82]
Kikuchi, (2024), 2412.08935
K. Kikuchi, (2024), 2412.08935
2024
- [83]
-
[84]
Sinha, F
M. Sinha, F. Yan, L. Grans-Samuelsson, A. Roy, and H. Saleur, (2023), 2310.19703
2023 arXiv
- [85]
-
[86]
Furlan, A
P. Furlan, A. C. Ganchev, and V. B. Petkova, Int. J. Mod. Phys. A 5, 2721 (1990), [Erratum: Int.J.Mod.Phys.A 5, 3641 (1990)]
1990
-
[87]
V. B. Petkova and J. B. Zuber, Nucl. Phys. B 438, 347 (1995), hep-th/9410209
1995 arXiv
- [88]
-
[89]
Hsieh, Y
C.-T. Hsieh, Y. Nakayama, and Y. Tachikawa, Phys. Rev. Lett. 126, 195701 (2021), 2002.12283
2021 arXiv
- [90]
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.