三维流形不变量：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 形如

\[\begin{split} 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}. \end{split}\]

\(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 记录。

参考文献