Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | https://arxiv.org/abs/2605.06984 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866917470992859136 |
|---|---|
| author | Galindo, Cśar |
| author_facet | Galindo, Cśar |
| contents | We prove exact complexity dichotomies for two quantum invariants of closed oriented three-manifolds, with the categorical data fixed. For a modular category $\mathcal{C}$, computing the Reshetikhin--Turaev invariant $Z_{\mathcal{C}}(M)$ from a framed-link surgery presentation is in $\mathrm{FP}$ exactly when $\mathcal{C}$ is pointed, that is, when all simple objects are invertible under tensor product; otherwise it is $\#\mathrm{P}$-hard. For a spherical fusion category $\mathcal{A}$, computing the Turaev--Viro invariant $|M|_{\mathcal{A}}$ from a triangulation, equivalently from a skeleton, is in $\mathrm{FP}$ exactly when its Drinfeld center $\mathcal{Z}(\mathcal{A})$ is pointed, equivalently when $\mathcal{A}$ is trivializable pointed; otherwise it is $\#\mathrm{P}$-hard. The polynomial-time cases reduce to finite abelian linear algebra and Gauss sums. The reductions are based on a genus-one graph-manifold family $M_G$, indexed by graphs $G$. In the anomaly-free case, the core calculation expresses $Z_{\mathcal{C}}(M_G)$ as the weighted graph homomorphism partition function with matrix $A_{\mathcal{C}}(i,j)=S_{i,j^*}/(d_i d_j)$, where $S$ is the modular matrix, $d_i$ is the quantum dimension of $i$, and $j^*$ is the dual label. Combining this formula with the Cai--Govorov dichotomy gives the hard side; the remaining Reshetikhin--Turaev and Turaev--Viro cases then follow by passing to Drinfeld centers. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_06984 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | A Complexity Dichotomy for Quantum Invariants of 3-Manifolds Galindo, Cśar Quantum Algebra We prove exact complexity dichotomies for two quantum invariants of closed oriented three-manifolds, with the categorical data fixed. For a modular category $\mathcal{C}$, computing the Reshetikhin--Turaev invariant $Z_{\mathcal{C}}(M)$ from a framed-link surgery presentation is in $\mathrm{FP}$ exactly when $\mathcal{C}$ is pointed, that is, when all simple objects are invertible under tensor product; otherwise it is $\#\mathrm{P}$-hard. For a spherical fusion category $\mathcal{A}$, computing the Turaev--Viro invariant $|M|_{\mathcal{A}}$ from a triangulation, equivalently from a skeleton, is in $\mathrm{FP}$ exactly when its Drinfeld center $\mathcal{Z}(\mathcal{A})$ is pointed, equivalently when $\mathcal{A}$ is trivializable pointed; otherwise it is $\#\mathrm{P}$-hard. The polynomial-time cases reduce to finite abelian linear algebra and Gauss sums. The reductions are based on a genus-one graph-manifold family $M_G$, indexed by graphs $G$. In the anomaly-free case, the core calculation expresses $Z_{\mathcal{C}}(M_G)$ as the weighted graph homomorphism partition function with matrix $A_{\mathcal{C}}(i,j)=S_{i,j^*}/(d_i d_j)$, where $S$ is the modular matrix, $d_i$ is the quantum dimension of $i$, and $j^*$ is the dual label. Combining this formula with the Cai--Govorov dichotomy gives the hard side; the remaining Reshetikhin--Turaev and Turaev--Viro cases then follow by passing to Drinfeld centers. |
| title | A Complexity Dichotomy for Quantum Invariants of 3-Manifolds |
| topic | Quantum Algebra |
| url | https://arxiv.org/abs/2605.06984 |