Intrinsic Topological Entanglement Entropy and the Strong Subadditivity

Chih-Yu Lo,Po-Yao Chang

2024-11-08

Abstract:In $(2+1)d$ topological quantum field theory, topological entanglement entropy (TEE) can be computed using the replica and surgery methods. We classify all bipartitions on a torus and propose a general method for calculating their corresponding TEEs. For each bipartition, the TEEs for different ground states are bounded by a topological quantity, termed the intrinsic TEE, which depends solely on the number of entanglement interfaces $ \pi_{\partial A}$, $S_{\text{iTEE}}(A) = - \pi_{\partial A} \ln \mathcal{D}$ with $\mathcal{D}$ being the total quantum dimension. We derive a modified form of strong subadditivity (SSA) for the intrinsic TEE, with the modification depending on the genus $g_X$ of the subregions $X$, $S_{\text{iTEE}}(A) + S_{\text{iTEE}}(B) - S_{\text{iTEE}}(A\cup B) - S_{\text{iTEE}}(A\cap B) \geq -2\ln \mathcal{D} (g_A + g_B - g_{A\cup B} - g_{A\cap B})$. Additionally, we show that SSA for the full TEE holds when the intersection number between torus knots of the subregions is not equal to one. When the intersection number is one, the SSA condition is satisfied if and only if $\sum_a |\psi_a|^2 (\ln S_{0a} - \ln |\psi_a|) + |S\psi_a|^2 (\ln S_{0a} - \ln |S\psi_a|) \geq 2 \ln \mathcal{D}$, with $S$ being the modular $S$-matrix and $\psi_a$ being the probability amplitudes. This condition has been verified for unitary modular categories up to rank $11$, while counterexamples have been found in non-pseudo-unitary modular categories, such as the Yang-Lee anyon.

Strongly Correlated Electrons

What problem does this paper attempt to address?

### Problems the paper attempts to solve

This paper aims to explore the calculation and properties of topological entanglement entropy (TEE) in (2 + 1)-dimensional topological quantum field theory. Specifically, the paper focuses on the following points:

1. **Classification and Calculation**:
- Classify all bipartitions on the torus and propose a general method to calculate the corresponding topological entanglement entropy (TEE).
- For each bipartition, the TEE in different ground states is bounded by an intrinsic topological quantity - the intrinsic topological entanglement entropy (intrinsic TEE) which only depends on the number of entanglement interfaces. The formula is:
\[
S_{\text{iTEE}}(A)=-\pi_{\partial A}\ln D
\]
where \(\pi_{\partial A}\) is the number of interfaces between \(A\) and \(A^{c}\), and \(D\) is the total quantum dimension of the system.

2. **Strong Subadditivity (SSA)**:
- Derive the strong subadditivity (SSA) of the modified form of the intrinsic TEE, where the modification term depends on the genus \(g_{X}\) of the sub - regions:
\[
S_{\text{iTEE}}(A)+S_{\text{iTEE}}(B)-S_{\text{iTEE}}(A\cup B)-S_{\text{iTEE}}(A\cap B)\geq - 2\ln D(g_{A}+g_{B}-g_{A\cup B}-g_{A\cap B})
\]
- Further study the situation where the total TEE satisfies the SSA condition when the number of intersections of sub - regions is not equal to 1. When the number of intersections is 1, the necessary and sufficient condition for the SSA condition to hold is:
\[
\sum_{a}|\psi_{a}|^{2}(\ln S_{0}^{a}-\ln|\psi_{a}|)+|S\psi_{a}|^{2}(\ln S_{0}^{a}-\ln|S\psi_{a}|)\geq 2\ln D
\]
where \(S\) is the modular \(S\) - matrix and \(\psi_{a}\) is the probability amplitude.

3. **Verification and Application**:
- Through numerical verification, the above conditions hold in unitary modular tensor categories (UMTC) with rank less than 11, including the well - known Fibonacci anyons and Semion models.
- For non - pseudo - unitary modular categories (such as Yang - Lee anyons), the above conditions may not hold, but the SSA conditions of TEE can be derived by other methods.

### Summary

The main goal of the paper is to further understand the entanglement structure in topological quantum field theory by classifying and calculating the topological entanglement entropy in different ground states and deriving its strong subadditivity conditions. These results are of great significance for in - depth research on topological order and quantum information theory.