Recognition: no theorem link
Defect relative entropy in symmetric orbifold CFTs
Pith reviewed 2026-05-15 22:25 UTC · model grok-4.3
The pith
Defect relative entropy in symmetric orbifold CFTs reduces to a Kullback-Leibler divergence built from symmetric group characters and modular S-matrix elements.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We show that the defect relative entropy reduces to a Kullback--Leibler (KL) divergence. The resulting expression decomposes naturally into two contributions: one governed by characters of the symmetric group S_N, and the other controlled by modular S-matrix elements of the seed RCFT. Both sets of data appear as probability distributions, yielding an information-theoretic interpretation of permutation group data and modular data within the symmetric orbifold. The structure depends on the defect class, with universal defects using only permutation data and maximally fractional defects using both.
What carries the argument
The reduction of the defect relative entropy to a Kullback-Leibler divergence whose arguments are probability distributions furnished by S_N characters for the universal part and by the seed RCFT modular S-matrix for the non-universal part.
If this is right
- For universal defects realizing Rep(S_N), the relative entropy depends only on the permutation group characters.
- For maximally fractional defects, the divergence receives contributions from both the S_N characters and the modular S-matrix elements.
- This structure suggests that the maximally fractional defect can be viewed as a product of an RCFT defect and a symmetric orbifold defect.
- The appearance of both group and modular data as probability distributions provides an information-theoretic interpretation within the orbifold theory.
Where Pith is reading between the lines
- One could check whether the same KL form holds for defects in more general orbifold constructions beyond the symmetric product.
- The product interpretation might extend to other non-invertible symmetries realized by defects in CFTs.
- A natural extension would be to compute the relative entropy in the presence of additional marginal deformations away from the orbifold point.
Load-bearing premise
The computation assumes that the chosen classes of defects allow the relative entropy to be expressed exactly via the stated character and S-matrix probability distributions without further corrections from the seed theory dynamics.
What would settle it
Computing the defect relative entropy explicitly for small N and a simple seed theory such as the Ising model and finding a numerical mismatch with the KL expression built from S_N characters and the S-matrix would falsify the claimed reduction.
read the original abstract
In this work, we compute the defect relative entropy between topological defects in the symmetric product orbifold CFT $\mathrm{Sym}^N(M) = M^{\otimes N}/S_N$. Our analysis covers two distinct classes of defects: universal defects, which realize the $\mathrm{Rep}(S_N)$ non-invertible symmetry, and non-universal defects. We show that the defect relative entropy reduces to a Kullback--Leibler (KL) divergence. The resulting expression decomposes naturally into two contributions: one governed by characters of the symmetric group $S_N$, and the other controlled by modular $S$-matrix elements of the seed RCFT. Remarkably, both sets of data appear as probability distributions, yielding an information-theoretic interpretation of permutation group data and modular data within the symmetric orbifold. The structure of the divergence depends sensitively on the defect class. For universal defects, only the permutation group data contributes; for maximally fractional defects, both permutation and modular data enter and together define the relevant probability distributions. This feature suggests that the maximally fractional defect can be understood as a kind of product of the RCFT defect and the symmetric orbifold defect.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript computes the defect relative entropy between topological defects in the symmetric product orbifold CFT Sym^N(M) = M^{⊗N}/S_N. It treats two classes of defects: universal defects realizing the Rep(S_N) non-invertible symmetry, and non-universal (including maximally fractional) defects. The central claim is that this relative entropy reduces exactly to a Kullback-Leibler divergence whose two terms are probability distributions built from S_N characters and from the modular S-matrix elements of the seed RCFT; the decomposition is pure for universal defects and involves both contributions for maximally fractional defects, which are interpreted as a product of RCFT and orbifold defects.
Significance. If the exact reduction holds without residual corrections, the result supplies an information-theoretic reading of permutation-group and modular data inside symmetric orbifolds. It also furnishes a concrete realization of how non-universal defects factorize, which may be useful for classifying defects and for entropy calculations in orbifold CFTs. The reliance on standard external CFT data (characters, S-matrix) as inputs is a strength provided the derivations are supplied.
major comments (2)
- [non-universal defects and KL reduction] The abstract and the section deriving the KL reduction for non-universal defects assert that the relative entropy equals the stated divergence with no extra seed-theory terms from OPEs or fusion. This requires an explicit check that the reduced density matrices for maximally fractional defects factorize such that all cross terms vanish identically; if the defect operators fail to commute with the seed Virasoro generators in the required way, or if the orbifold projection introduces mixing, additional contributions would appear that are not captured by the S_N and S-matrix probabilities alone.
- [computation of defect relative entropy] The derivation that the two contributions appear precisely as probability distributions (S_N characters for one term, S-matrix elements for the other) must be shown step-by-step, including the definition of the relevant reduced density matrices and the trace operations that produce the KL form. Without these steps the claim that the expression 'decomposes naturally' remains formal.
minor comments (2)
- [defect classes] Define 'maximally fractional defects' and their product construction more explicitly, including the precise embedding into the orbifold Hilbert space.
- [results] Add a short table or explicit formulas showing the probability distributions extracted from S_N characters and from the seed S-matrix for a low-N example.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and will revise the paper to incorporate the requested clarifications and explicit derivations.
read point-by-point responses
-
Referee: [non-universal defects and KL reduction] The abstract and the section deriving the KL reduction for non-universal defects assert that the relative entropy equals the stated divergence with no extra seed-theory terms from OPEs or fusion. This requires an explicit check that the reduced density matrices for maximally fractional defects factorize such that all cross terms vanish identically; if the defect operators fail to commute with the seed Virasoro generators in the required way, or if the orbifold projection introduces mixing, additional contributions would appear that are not captured by the S_N and S-matrix probabilities alone.
Authors: We agree that an explicit verification of the factorization is essential. In the revised manuscript we will add a dedicated subsection that constructs the reduced density matrices for maximally fractional defects explicitly. We show that these defects act as a tensor product of the seed RCFT defect and the orbifold defect on the relevant Hilbert-space sectors; the defect operators commute with the seed Virasoro generators in those sectors, and the orbifold projection introduces no mixing between the probability distributions. Consequently all cross terms vanish identically and the relative entropy reduces exactly to the claimed KL divergence. revision: yes
-
Referee: [computation of defect relative entropy] The derivation that the two contributions appear precisely as probability distributions (S_N characters for one term, S-matrix elements for the other) must be shown step-by-step, including the definition of the relevant reduced density matrices and the trace operations that produce the KL form. Without these steps the claim that the expression 'decomposes naturally' remains formal.
Authors: We thank the referee for highlighting the need for a fully expanded derivation. The current text summarizes the final result for brevity; the revised version will contain a complete step-by-step computation. We will begin with the explicit definition of the reduced density matrices for both universal and maximally fractional defects, perform the partial traces over the appropriate subspaces, and demonstrate how the resulting expressions yield the KL divergence whose two terms are precisely the normalized S_N characters and the normalized modular S-matrix elements. This will make the natural decomposition fully transparent. revision: yes
Circularity Check
No significant circularity; derivation uses independent CFT data
full rationale
The paper computes defect relative entropy for universal and non-universal defects in Sym^N(M) and shows it equals a KL divergence whose terms are exactly the S_N character probabilities and the seed RCFT modular S-matrix probabilities. These quantities are standard external inputs from representation theory and modular invariance; the text presents them as given data rather than quantities fitted or defined inside the derivation. No load-bearing self-citations, self-definitional steps, or ansatze smuggled via prior work appear in the abstract or described chain. The result is therefore self-contained against external benchmarks and receives the default non-circularity finding.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Topological defects in CFTs admit well-defined relative entropy computations via standard formulas
- standard math Modular S-matrix elements of the seed RCFT form a probability distribution
Reference graph
Works this paper leans on
-
[1]
L. J. Dixon, J. A. Harvey, C. Vafa and E. Witten, Strings on Orbifolds, Nucl. Phys. B261, 678-686 (1985)
work page 1985
-
[2]
L. J. Dixon, D. Friedan, E. J. Martinec and S. H. Shenker, The Conformal Field Theory of Orbifolds, Nucl. Phys. B282, 13-73 (1987)
work page 1987
-
[3]
R. Dijkgraaf, C. Vafa, E. P. Verlinde and H. L. Verlinde, The Operator Algebra of Orbifold Models, Commun. Math. Phys.123, 485 (1989) – 16 –
work page 1989
-
[4]
A. Klemm and M. G. Schmidt, Orbifolds by Cyclic Permutations of Tensor Product Conformal Field Theories, Phys. Lett. B245, 53-58 (1990)
work page 1990
-
[5]
Bantay, Symmetric products, permutation orbifolds and discrete torsion, Lett
P. Bantay, Symmetric products, permutation orbifolds and discrete torsion, Lett. Math. Phys.63, 209-218 (2003)
work page 2003
-
[6]
O. Lunin and S. D. Mathur, Correlation functions for M**N / S(N) orbifolds, Commun. Math. Phys.219, 399-442 (2001)
work page 2001
-
[7]
R. Dijkgraaf, G. W. Moore, E. P. Verlinde and H. L. Verlinde, Elliptic genera of symmetric products and second quantized strings, Commun. Math. Phys.185, 197-209 (1997)
work page 1997
- [8]
-
[9]
M. R. Gaberdiel and R. Gopakumar, Tensionless string spectra on AdS 3, JHEP05, 085 (2018)
work page 2018
-
[10]
L. Eberhardt, M. R. Gaberdiel and R. Gopakumar, The Worldsheet Dual of the Symmetric Product CFT, JHEP04, 103 (2019)
work page 2019
-
[11]
G. Giribet, C. Hull, M. Kleban, M. Porrati and E. Rabinovici, Superstrings on AdS 3 atk= 1, JHEP08, 204 (2018)
work page 2018
-
[12]
L. Eberhardt, M. R. Gaberdiel and R. Gopakumar, Deriving the AdS 3/CFT2 correspondence, JHEP02, 136 (2020)
work page 2020
-
[13]
E. P. Verlinde, Fusion Rules and Modular Transformations in 2D Conformal Field Theory, Nucl. Phys. B300, 360-376 (1988)
work page 1988
-
[14]
V. B. Petkova and J. B. Zuber, Generalized twisted partition functions, Phys. Lett. B504, 157-164 (2001)
work page 2001
-
[15]
V. B. Petkova and J. B. Zuber, The Many faces of Ocneanu cells, Nucl. Phys. B603, 449-496 (2001)
work page 2001
- [16]
-
[17]
J. Frohlich, J. Fuchs, I. Runkel and C. Schweigert, Duality and defects in rational conformal field theory, Nucl. Phys. B763, 354-430 (2007)
work page 2007
-
[18]
J. Frohlich, J. Fuchs, I. Runkel and C. Schweigert, Defect Lines, Dualities and Generalised Orbifolds,
-
[19]
D. Gaiotto, A. Kapustin, N. Seiberg and B. Willett, Generalized Global Symmetries, JHEP 02, 172 (2015)
work page 2015
-
[20]
S. H. Shao, What’s Done Cannot Be Undone: TASI Lectures on Non-Invertible Symmetries, [arXiv:2308.00747 [hep-th]]
-
[21]
L. Bhardwaj, L. E. Bottini, L. Fraser-Taliente, L. Gladden, D. S. W. Gould, A. Platschorre and H. Tillim, Lectures on generalized symmetries, Phys. Rept.1051, 1-87 (2024)
work page 2024
-
[22]
Schafer-Nameki, ICTP lectures on (non-)invertible generalized symmetries, Phys
S. Schafer-Nameki, ICTP lectures on (non-)invertible generalized symmetries, Phys. Rept. 1063, 1-55 (2024)
work page 2024
-
[23]
Gaiotto, Domain Walls for Two-Dimensional Renormalization Group Flows, JHEP12, 103 (2012) – 17 –
D. Gaiotto, Domain Walls for Two-Dimensional Renormalization Group Flows, JHEP12, 103 (2012) – 17 –
work page 2012
-
[24]
L. Bhardwaj and Y. Tachikawa, On finite symmetries and their gauging in two dimensions, JHEP03, 189 (2018)
work page 2018
-
[25]
Tachikawa, On gauging finite subgroups, SciPost Phys.8, no.1, 015 (2020)
Y. Tachikawa, On gauging finite subgroups, SciPost Phys.8, no.1, 015 (2020)
work page 2020
-
[26]
C. M. Chang, Y. H. Lin, S. H. Shao, Y. Wang and X. Yin, Topological Defect Lines and Renormalization Group Flows in Two Dimensions, JHEP01, 026 (2019)
work page 2019
-
[27]
R. Thorngren and Y. Wang, Fusion category symmetry. Part I. Anomaly in-flow and gapped phases, JHEP04, 132 (2024)
work page 2024
- [28]
-
[29]
R. Thorngren and Y. Wang, Fusion category symmetry. Part II. Categoriosities at c = 1 and beyond, JHEP07, 051 (2024)
work page 2024
- [30]
-
[31]
Y. Choi, D. C. Lu and Z. Sun, Self-duality under gauging a non-invertible symmetry, JHEP 01, 142 (2024)
work page 2024
-
[32]
A. Perez-Lona, D. Robbins, E. Sharpe, T. Vandermeulen and X. Yu, Notes on gauging noninvertible symmetries. Part I. Multiplicity-free cases, JHEP02, 154 (2024)
work page 2024
-
[33]
O. Diatlyk, C. Luo, Y. Wang and Q. Weller, Gauging non-invertible symmetries: topological interfaces and generalized orbifold groupoid in 2d QFT, JHEP03, 127 (2024)
work page 2024
-
[34]
A. Perez-Lona, D. Robbins, E. Sharpe, T. Vandermeulen and X. Yu, Notes on gauging noninvertible symmetries. Part II. Higher multiplicity cases, JHEP05, 066 (2025)
work page 2025
- [35]
-
[36]
M. Gutperle, Y. Y. Li, D. Rathore and K. Roumpedakis, Non-invertible symmetries in S N orbifold CFTs and holography, JHEP09, 110 (2024)
work page 2024
-
[37]
B. Knighton, V. Sriprachyakul and J. Voˇ smera, Topological defects and tensionless holography, JHEP07, 083 (2025)
work page 2025
-
[38]
N. Benjamin, S. Bintanja, Y. J. Chen, M. Gutperle, C. Luo and D. Rathore, Generalized Symmetries and Deformations of Symmetric Product Orbifolds, [arXiv:2509.12180 [hep-th]]
-
[39]
Y. Choi, B. C. Rayhaun and Y. Zheng, Noninvertible Symmetry-Resolved Affleck-Ludwig-Cardy Formula and Entanglement Entropy from the Boundary Tube Algebra, Phys. Rev. Lett.133, no.25, 251602 (2024)
work page 2024
-
[40]
K. Sakai and Y. Satoh, Entanglement through conformal interfaces, JHEP12, 001 (2008)
work page 2008
-
[41]
E. M. Brehm, I. Brunner, D. Jaud and C. Schmidt-Colinet, Entanglement and topological interfaces, Fortsch. Phys.64, no.6-7, 516-535 (2016)
work page 2016
-
[42]
M. Gutperle and J. D. Miller, A note on entanglement entropy for topological interfaces in RCFTs, JHEP04, 176 (2016)
work page 2016
-
[43]
E. M. Brehm and I. Brunner, Entanglement entropy through conformal interfaces in the 2D Ising model, JHEP09, 080 (2015)
work page 2015
-
[44]
T. Nishioka, T. Takayanagi and Y. Taki, Topological pseudo entropy, JHEP09, 015 (2021) – 18 –
work page 2021
-
[45]
C. Northe and P. Rossi, Entanglement Through Topological Defects: Reconciling Theory with Numerics, [arXiv:2512.07974 [hep-th]]
-
[46]
Northe, Fermion parity resolution of entanglement JHEP12, 134 (2025)
C. Northe, Fermion parity resolution of entanglement JHEP12, 134 (2025)
work page 2025
-
[47]
M. Gutperle and J. D. Miller, Entanglement entropy at holographic interfaces, Phys. Rev. D 93, no.2, 026006 (2016)
work page 2016
- [48]
- [49]
-
[50]
M. Gutperle, Y. Y. Li, D. Rathore and K. Roumpedakis, A note on entanglement entropy and topological defects in symmetric orbifold CFTs, JHEP09, 010 (2024)
work page 2024
-
[51]
P. Calabrese and J. Cardy, Entanglement entropy and conformal field theory, J. Phys. A42, 504005 (2009)
work page 2009
-
[52]
Nishioka, Entanglement entropy: holography and renormalization group, Rev
T. Nishioka, Entanglement entropy: holography and renormalization group, Rev. Mod. Phys. 90, no.3, 035007 (2018)
work page 2018
-
[53]
H. Casini and M. Huerta, Lectures on entanglement in quantum field theory, PoS T ASI2021, 002 (2023)
work page 2023
- [54]
-
[55]
Vedral, The role of relative entropy in quantum information theory, Rev
V. Vedral, The role of relative entropy in quantum information theory, Rev. Mod. Phys.74, 197-234 (2002)
work page 2002
-
[56]
Wehrl, General properties of entropy, Rev
A. Wehrl, General properties of entropy, Rev. Mod. Phys.50, 221, (1978)
work page 1978
- [57]
- [58]
- [59]
- [60]
- [61]
- [62]
-
[63]
Lashkari, Relative Entropies in Conformal Field Theory, Phys
N. Lashkari, Relative Entropies in Conformal Field Theory, Phys. Rev. Lett.113, 051602 (2014)
work page 2014
-
[64]
Lashkari, Modular Hamiltonian for Excited States in Conformal Field Theory, Phys
N. Lashkari, Modular Hamiltonian for Excited States in Conformal Field Theory, Phys. Rev. Lett.117, no.4, 041601 (2016)
work page 2016
-
[65]
P. Ruggiero and P. Calabrese, Relative Entanglement Entropies in 1+1-dimensional conformal field theories, JHEP02, 039 (2017)
work page 2017
-
[66]
M. Ghasemi, Left-Right Relative Entropy, [arXiv:2411.09406 [hep-th]]. – 19 –
work page internal anchor Pith review Pith/arXiv arXiv
-
[67]
D. D. Blanco, H. Casini, L. Y. Hung and R. C. Myers, Relative Entropy and Holography, JHEP08, 060 (2013)
work page 2013
-
[68]
G. Wong, I. Klich, L. A. Pando Zayas and D. Vaman, Entanglement Temperature and Entanglement Entropy of Excited States, JHEP12, 020 (2013)
work page 2013
-
[69]
D. L. Jafferis, A. Lewkowycz, J. Maldacena and S. J. Suh, Relative entropy equals bulk relative entropy, JHEP06, 004 (2016)
work page 2016
-
[70]
Casini, Relative entropy and the Bekenstein bound, Class
H. Casini, Relative entropy and the Bekenstein bound, Class. Quant. Grav.25, 205021 (2008)
work page 2008
-
[71]
A. C. Wall, A proof of the generalized second law for rapidly changing fields and arbitrary horizon slices, Phys. Rev. D85, 104049 (2012)
work page 2012
-
[72]
T. Faulkner, R. G. Leigh, O. Parrikar and H. Wang, Modular Hamiltonians for Deformed Half-Spaces and the Averaged Null Energy Condition, JHEP09, 038 (2016)
work page 2016
-
[73]
S. Balakrishnan, T. Faulkner, Z. U. Khandker and H. Wang, A General Proof of the Quantum Null Energy Condition, JHEP09, 020 (2019)
work page 2019
-
[74]
R. Longo and F. Xu, Comment on the Bekenstein bound, J. Geom. Phys.130, 113-120 (2018)
work page 2018
-
[75]
Kudler-Flam, Relative Entropy of Random States and Black Holes, Phys
J. Kudler-Flam, Relative Entropy of Random States and Black Holes, Phys. Rev. Lett.126, no.17, 171603 (2021)
work page 2021
-
[76]
Ghasemi, Symmetry-resolved relative entropy of random states, JHEP04, 090 (2025)
M. Ghasemi, Symmetry-resolved relative entropy of random states, JHEP04, 090 (2025)
work page 2025
-
[77]
M. M¨ uller-Lennert, F. Dupuis, O. Szehr, S. Fehr and M. Tomamichel, On quantum Renyi entropies: a new generalization and some properties, J. Math. Phys. 54, 122203 (2013)
work page 2013
-
[78]
M. M. Wilde, A. Winter and D. Yang, Strong Converse for the Classical Capacity of Entanglement-Breaking and Hadamard Channels via a Sandwiched Renyi Relative Entropy, Commun. Math. Phys.331, no.2, 593-622 (2014)
work page 2014
-
[79]
Ghasemi, Defect Relative Entropy, [arXiv:2601.21875 [hep-th]]
M. Ghasemi, Defect Relative Entropy, [arXiv:2601.21875 [hep-th]]
-
[80]
M. R. Gaberdiel, B. Knighton and J. Voˇ smera, D-branes in AdS3 ×S 3 ×T 4 at k = 1 and their holographic duals, JHEP12, 149 (2021)
work page 2021
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.