Defect relative entropy in symmetric orbifold CFTs

This paper computes the defect relative entropy in symmetric orbifold CFTs, demonstrating that it reduces to a Kullback–Leibler divergence where the contributions from permutation group characters and modular $S$-matrix elements form probability distributions that distinguish between universal and non-universal defect classes.

The Gist

Imagine you have a giant, complex machine made of $N$ identical smaller machines working together. In the world of physics, this is called a Symmetric Product Orbifold. It's like taking $N$ copies of a single Lego set (the "seed" theory) and gluing them together, but with a twist: you are allowed to swap any of the $N$ copies with any other copy, and the whole system looks the same. This swapping rule is governed by a mathematical group called the Symmetric Group ($S_N$).

Now, imagine you want to measure how "different" two specific ways of interacting with this machine are. In physics, we use a concept called Relative Entropy to measure the difference between two states. Think of it like a "distinguishability score." If you have two different recipes for a cake, the relative entropy tells you how hard it would be to tell them apart just by tasting a small bite.

This paper calculates that "distinguishability score" for special features called Topological Defects.

What is a Topological Defect?

Think of a topological defect as a permanent rule or a glitch in the fabric of the machine.

• Universal Defects: These are like the rules of the game itself. They don't care what kind of Lego bricks you used (the seed theory); they only care about how many copies you have and how you swap them. They are the "pure" rules of the permutation game.
• Non-Universal (Maximally Fractional) Defects: These are more complex. They care about both the swapping rules and the specific details of the Lego bricks inside. They are a hybrid of the game rules and the internal structure of the pieces.

The Big Discovery: The "KL Divergence"

The authors found that when they calculated the difference between these defects, the messy, complicated physics formulas simplified into something very familiar to statisticians and data scientists: The Kullback-Leibler (KL) Divergence.

The Analogy:
Imagine you are trying to guess a secret code.

• Defect A gives you a set of probabilities for what the next number might be (e.g., "There's a 50% chance it's a 1, 25% chance it's a 2...").
• Defect B gives you a different set of probabilities.
• The KL Divergence is a single number that tells you how much "surprise" you would feel if you thought the code followed Defect A's rules, but it actually followed Defect B's rules.

The paper shows that for these quantum defects, the "rules" are just probability distributions.

Two Types of Surprises

The paper reveals that the "surprise score" (the entropy) is built differently depending on which defect you are looking at:

1. For Universal Defects:
   The score depends only on the "swapping rules" (the characters of the Symmetric Group).

   • Metaphor: Imagine you are judging two different ways to shuffle a deck of cards. The score only cares about the shuffling pattern, not the pictures on the cards. The "probability distribution" here is just a list of how likely each shuffle pattern is.

2. For Non-Universal Defects:
   The score is a sum of two parts:

   • Part 1: The "swapping rules" (just like above).
   • Part 2: The "internal details" of the seed theory (governed by something called the Modular S-matrix).
   • Metaphor: Now you are judging two ways to shuffle a deck of cards, but you also have to judge the specific artwork on the cards. The total "surprise" is the sum of the surprise from the shuffling plus the surprise from the card designs.

Why is this cool?

The authors realized that the complex math of quantum physics (permutation groups and modular matrices) can be reinterpreted as simple probability distributions.

• The "Product" Insight: They found that the complex "Non-Universal" defect behaves exactly like a product of two simpler things: a "Universal" defect (the shuffling rules) and a "Seed" defect (the card designs). It's as if the complex defect is just the Universal one and the Seed one holding hands and working together.

The Takeaway

This paper takes a very abstract, high-level problem in quantum physics and translates it into the language of information theory. It tells us that the "distance" between different quantum defects isn't some mysterious, unexplainable force. Instead, it's just a statistical measure of how different two sets of probabilities are.

It's like discovering that the difference between two complex musical symphonies can be perfectly described by comparing the probability of hearing a high note versus a low note in each. The paper proves that in the world of symmetric quantum machines, complexity is just probability in disguise.

Technical Summary

1. Problem Statement

The paper addresses the characterization of topological defects within Symmetric Product Orbifold Conformal Field Theories (CFTs), specifically $Sym^N(M) = M^{\otimes N}/S_N$. While topological defects (or Topological Defect Lines, TDLs) are well-understood in Rational CFTs (RCFTs) and their role in non-invertible symmetries is established, there is a need for refined information-theoretic measures to distinguish between different defect configurations in orbifold theories.

Standard entanglement entropy is often plagued by ultraviolet divergences and definitional ambiguities in gauge theories. The author proposes using Defect Relative Entropy, a quantity introduced in [79] for 2D CFT interfaces, as a finite, well-defined measure of the statistical distinguishability between two topological defects. The core problem is to compute this quantity for the rich spectrum of defects in symmetric orbifolds and to interpret the resulting algebraic structures (permutation group characters and modular data) through an information-theoretic lens.

2. Methodology

The paper employs a combination of replica trick techniques, modular transformations, and orbifold construction rules:

• Defect Relative Entropy Definition: The relative entropy $D(\rho_K || \rho_{K'})$ between two defects $K$ and $K'$ is computed via the limit of the sandwiched Rényi relative entropy:
  $$D(K || K') = -\partial_n \log \left( \frac{Z_n(K, K')}{Z_n(K)} \frac{Z_1(K)^{n-1}}{Z_1(K')^{n-1}} \right) \bigg|_{n \to 1}$$
  where $Z_n$ represents partition functions on an $n$-sheeted Riemann surface with specific defect operator insertions.

• Replica Partition Functions: The calculation involves evaluating torus partition functions with $2n$ insertions of interface operators. For symmetric orbifolds, the partition function is a sum over twisted sectors labeled by conjugacy classes $[g]$ of the symmetric group $S_N$.

• Modular Limit Analysis: The computation relies on taking the limit of the modular parameter $\tau \to 0$ (equivalent to the UV/IR cutoff limit $L/\epsilon \to \infty$). This requires performing an $S$-modular transformation on the characters of the seed theory. In this limit, the partition function is dominated by the vacuum sector (the state with the lowest conformal dimension).

• Defect Classification: The analysis is split into two distinct classes of defects:

  1. Universal Defects: Constructed purely from the representation theory of $S_N$, independent of the seed CFT $M$. These are realized via Ishibashi boundary states in the folded theory.
  2. Non-Universal (Maximally Fractional) Defects: Constructed by combining $S_N$ representation data with specific topological interfaces (Verlinde lines) from the seed RCFT $M$.

3. Key Contributions and Results

A. Universal Defects

For defects labeled by irreducible representations $R$ and $R'$ of $S_N$ (with characters $\chi_R$ and $\chi_{R'}$):

• The partition functions are dominated by the untwisted vacuum sector after modular transformation.
• The defect relative entropy reduces to a Kullback–Leibler (KL) divergence between two probability distributions defined on the conjugacy classes of $S_N$:
  $$D(I_R || I_{R'}) = \sum_{[g]} p_R([g]) \ln \frac{p_R([g])}{p_{R'}([g])}$$
• Probability Distribution: The probability measure is given by the normalized squared characters:
  $$p_R([g]) = \frac{1}{|G|} |\chi_R([g])|^2$$
• Result: The relative entropy depends only on the permutation group data ($S_N$ characters) and is independent of the seed CFT details.

B. Non-Universal (Maximally Fractional) Defects

For defects constructed from a seed RCFT defect $I_a$ (labeled by primary $a$) and an $S_N$ representation $R$:

• The calculation involves both the $S_N$ characters and the modular $S$-matrix elements of the seed theory ($S_{ai}$).
• The resulting relative entropy decomposes into two additive KL divergences:
  $$D(I_{a,R} || I_{a',R'}) = \underbrace{\sum_{[g]} p_R([g]) \ln \frac{p_R([g])}{p_{R'}([g])}}_{\text{Permutation Data}} + N \times \underbrace{\sum_{i} p_{a,i} \ln \frac{p_{a,i}}{p_{a',i}}}_{\text{Modular Data}}$$
• Probability Distributions:
  • $p_R([g]) = \frac{1}{|G|} |\chi_R([g])|^2$ (from $S_N$).
  • $p_{a,i} = |S_{ai}|^2$ (from the seed RCFT modular data).
• Result: The relative entropy captures a "product structure" where the maximally fractional defect behaves effectively as a product of the seed CFT defect and the symmetric orbifold defect. The factor $N$ indicates that the seed contribution scales with the number of copies.

C. Defect Fidelity

The paper also derives the Defect Fidelity (the $n=1/2$ limit of the Rényi relative entropy), which reduces to the Bhattacharyya coefficient (overlap) between the respective probability distributions:
$$F(I || I') = \sum \sqrt{p_I p_{I'}}$$

4. Significance and Implications

• Information-Theoretic Interpretation of Algebraic Data: The most significant finding is that the abstract algebraic data defining topological defects in symmetric orbifolds—specifically $S_N$ characters and modular $S$-matrix elements—naturally organize into probability distributions. The relative entropy between defects is precisely the KL divergence between these distributions. This provides a novel information-theoretic interpretation of group theory and modular data in CFT.
• Universality vs. Specificity: The work clearly distinguishes between "universal" features (governed solely by the orbifold group $S_N$) and "non-universal" features (dependent on the specific seed CFT). Universal defects probe the permutation symmetry, while maximally fractional defects probe the internal structure of the seed theory.
• Holographic Relevance: Symmetric product orbifolds are central to the $AdS_3/CFT_2$ correspondence (e.g., $T^4$ orbifolds dual to tensionless strings). The results suggest that the distinguishability of bulk branes (dual to these defects) can be quantified via these information-theoretic measures.
• Future Directions: The paper suggests that the reduction to KL divergence might be a unique feature of topological defects. Extending these methods to conformal (non-topological) defects or more general D-brane constructions in symmetric orbifolds could reveal deeper connections between non-perturbative dynamics and quantum information.

In summary, the paper successfully computes the defect relative entropy in symmetric orbifolds, revealing a deep structural link where the statistical distinguishability of topological defects is governed by the KL divergence of probability distributions derived from permutation group characters and modular data.