# 三维流形不变量：Heegaard Splitting、Turaev--Viro 状态和与量子通用性

结是三维空间中的一维对象；三维流形本身也有由量子群/TQFT 构造的标量不变量。Turaev--Viro invariant 可由 triangulation 上的量子 $6j$ 符号状态和定义，也可通过 Heegaard splitting 转成 mapping-class-group 表示的振幅平方。后者给出量子算法，并在特定误差尺度下成为 BQP-universal。

## 1. 两种输入表示

**Triangulation：**把闭定向 3-manifold $M$ 分解为有限个四面体，记录面粘合。输入大小由 tetrahedra 数 $T$ 衡量。

**Heegaard splitting：**取 genus $g$ 的 handlebody $H_g$，用曲面 $\Sigma_g=\partial H_g$ 上的 homeomorphism $\varphi$ 粘合两份：

$$
M=H_g\cup_\varphi H_g.
$$

$\varphi$ 由 Dehn twists 等 mapping class generators 的长度 $m$ word 描述。量子算法通常对后一表示最自然，因为 TQFT 直接给 $\varphi$ 一个酉表示。

不同 presentation 可相差巨大；“关于输入多项式”必须注明 $T$ 还是 $(g,m)$。

## 2. Turaev--Viro 状态和

固定 level $r$（或对应单位根 $q=e^{2\pi i/r}$）。给 triangulation 的每条边赋允许的 anyon/spin 标签 $j_e$，并要求每个三角面满足 fusion admissibility。Turaev--Viro invariant 形如

$$
TV_r(M)=\mathcal N(M,r)
\sum_{\text{admissible }j}
\prod_{e}d_{j_e}
\prod_{\text{tetra }\tau}
\left\{\begin{matrix}
j_1&j_2&j_3\\
j_4&j_5&j_6
\end{matrix}\right\}_{q,\tau}.
$$

$d_j$ 是 quantum dimension，花括号为 quantum $6j$ symbol，$\mathcal N$ 是顶点/总量子维数归一化。Pachner move 不变性由 pentagon identity 与 quantum-dimension 正交关系保证，所以状态和只依赖流形拓扑，不依赖具体 triangulation。

直接求和有指数多个边标记，不能作为高效算法。

## 3. TQFT Hilbert 空间与 handlebody state

$(2+1)$D TQFT 给曲面 $\Sigma_g$ 分配有限维 Hilbert 空间 $V_r(\Sigma_g)$，给 mapping class $\varphi$ 分配酉算子

$$
\rho_r(\varphi):V_r(\Sigma_g)\to V_r(\Sigma_g).
$$

Handlebody 选择规范真空态 $|\Omega_g\rangle$。Reshetikhin--Turaev amplitude

$$
RT_r(M)\propto
\langle\Omega_g|\rho_r(\varphi)|\Omega_g\rangle.
$$

对相应 doubled/unitary category，Turaev--Viro invariant 与其模平方相关：

$$
TV_r(M)propto|RT_r(M)|^2,
$$

比例由约定、genus 和总量子维数决定。算法必须携带该已知 normalization。

## 4. 如何实现 mapping class word

选择 pants decomposition 或 trivalent spine，基态由内部边的 admissible labels 编码。Mapping class generator 可分解为局部拓扑 move：

- $F$ move 改变 fusion tree 括号，矩阵元为 $6j$ symbol；
- $R$ move/braiding 施加局部交换相位；
- Dehn twist 在相应 label sector 施加 topological spin。

固定 $r$ 时标签集合常数大，每个 move 是常数局部门。长度 $m$ 的 $\varphi$ word 因而实现为

$$
U_\varphi=\rho_r(\varphi)
$$

的 $\operatorname{poly}(g,m)$ 电路。Hadamard test 估计

$$
a=\langle\Omega_g|U_\varphi|\Omega_g\rangle,
$$

再由 $|a|^2$ 和归一化得到 $TV_r(M)$ 的加性估计。

## 5. 为什么该近似是量子通用的

在适当固定 level/category 下，mapping class group 表示在相关酉群中足够稠密。任意量子电路 $C$ 可经典编译为 Heegaard gluing word $\varphi_C$，使接受振幅/概率嵌入

$$
\langle\Omega|\rho(\varphi_C)|\Omega\rangle
$$

或其模平方。因此能在论文指定 normalization 尺度内加性近似 $TV_r(M_C)$，就能模拟任意 BQP 计算。

这证明 BQP-hard/complete 的是：

1. 特定 level；
2. Heegaard splitting 输入；
3. 与 genus 相关的非平凡加性精度。

它不表示任意 triangulation 上所有 Turaev--Viro 参数都能高效相对逼近，也不直接解决 3-manifold homeomorphism。

## 6. Spin network 视角

Triangulation dual 2-skeleton 可画成 q-deformed spin network。边为表示标签，顶点为 intertwiner，局部 recoupling 就是 $F/6j$ move。量子电路在 fusion basis 中做的事情，可视为相干求值与重括号化 spin network。

Garnerone--Marzuoli--Rasetti 方案直接处理若干 3-manifold invariants 的 quantum spin-network automaton；Kauffman--Lomonaco 则连接 q-deformed spin networks、knot polynomials 与 anyonic computation。二者与 Heegaard amplitude 算法共享同一 recoupling 代数。

## 7. 一个 genus-1 例子

$\Sigma_1$ 是 torus，mapping class group 由 $S,T$ 生成，满足投影关系。固体环 handlebody 态通常是真空 anyon label $|0\rangle$。Lens space 可由某个

$$
\varphi=S T^{p_1}S T^{p_2}\cdots
$$

gluing word得到，其 invariant 是 modular $S,T$ 矩阵的相应真空矩阵元。量子算法逐个实现 $S,T$，再估计 $\langle0|U_\varphi|0\rangle$，而非枚举全部 triangulation coloring。

## 8. 小结与习题

- Turaev--Viro 是 quantum dimensions 与 $6j$ symbols 的 triangulation 状态和。
- Heegaard splitting 把不变量转为 TQFT mapping-class 酉表示的真空振幅平方。
- $F,R,$ Dehn twist 局部 move 给出多项式量子电路。
- BQP universality 依赖 level、presentation 与加性 normalization，不能扩大成一般 homeomorphism 算法。

1. 解释 pentagon identity 与 Pachner $2$--$3$ move 的联系。
2. 写出 Hadamard test 后怎样估计 $|a|^2$。
3. 比较 triangulation coloring sum 与 fusion-basis circuit 的状态空间。
4. 说明为什么 additive approximation 的尺度必须随 genus 记录。

## 参考文献

- Zoo 编号 129：Alagic、Jordan、Koenig 与 Reichardt, [Approximating Turaev--Viro 3-Manifold Invariants Is Universal for Quantum Computation](https://arxiv.org/abs/1003.0923).
- Zoo 编号 114：Garnerone、Marzuoli 与 Rasetti, [Efficient Quantum Processing of 3-Manifold Topological Invariants](https://arxiv.org/abs/quant-ph/0703037).
- Zoo 编号 115：Kauffman 与 Lomonaco, [q-Deformed Spin Networks, Knot Polynomials and Anyonic Topological Quantum Computation](https://arxiv.org/abs/quant-ph/0606114).