量子结与链环不变量：Braid 表示、Jones 多项式与 Khovanov 同调¶

Jones 多项式把结图的拓扑信息编码为 Laurent 多项式；精确计算一般极难，但在特定单位根处，它可写成 braid group 酉表示的矩阵元或 Markov trace。量子计算机天然适合实现酉表示并用 Hadamard test 估计振幅。本课从 braid closure 推导 AJL path-model 算法，再说明 BQP/DQC1 完备性与 Khovanov 同调算法的条件边界。

1. 用 Braid 表示链环¶

\(n\) 股 braid group \(B_n\) 由生成元 \(\sigma_1,\ldots,\sigma_{n-1}\) 生成，满足

\[ \sigma_i\sigma_j=\sigma_j\sigma_i \quad(|i-j|\ge2), \]

\[ \sigma_i\sigma_{i+1}\sigma_i =\sigma_{i+1}\sigma_i\sigma_{i+1}. \]

\(\sigma_i\) 表示第 \(i,i+1\) 股正交叉，\(\sigma_i^{-1}\) 表示负交叉。Alexander 定理保证任意有向链环可表示为 braid closure。常见两种闭合：

trace closure：把每股顶端接到底端；
plat closure：把相邻端点成对封闭。

输入是长度 \(m\) 的 braid word

\[ b=\sigma_{i_1}^{\epsilon_1}\cdots \sigma_{i_m}^{\epsilon_m},\qquad\epsilon_j\in\{\pm1\}. \]

2. Temperley--Lieb 代数与 Jones 表示¶

Temperley--Lieb 生成元 \(e_i\) 满足

\[ e_i^2=d\,e_i,\qquad e_ie_{i\pm1}e_i=e_i,\qquad e_ie_j=e_je_i (|i-j|\ge2). \]

选择参数 \(A\) 与

\[ d=-A^2-A^{-2}, \]

braid 生成元可表示为（约定可能交换 \(A,A^{-1}\)）

\[ \rho_A(\sigma_i)=A I+A^{-1}e_i. \]

在适当单位根 \(A\) 上，path-model 内积使这些算子酉。Jones polynomial 是 braid 表示的 Markov trace 乘上 writhe/closure 的已知归一化因子。

3. Path model Hilbert 空间¶

令 \(A_{k-1}\) 为顶点 \(1,\ldots,k-1\) 的路径图。量子基态由长度 \(n\)、从顶点 1 开始的合法路径

\[ p=(p_0=1,p_1,\ldots,p_n),\qquad |p_{j+1}-p_j|=1 \]

标记。每一步“向上/向下”可编码为 qubit，非法越界路径排除。

\(e_i\) 只改变第 \(i\) 附近两步，矩阵元由 Perron--Frobenius 权重

\[ \lambda_j=\sin(\pi j/k) \]

的比值给出。因此 \(\rho_A(\sigma_i)\) 是作用在常数个路径寄存器/相邻步上的局部受控门；整个 braid word 用 \(\operatorname{poly}(m,n,k)\) 门实现为

\[ U_b=\rho_A(b). \]

4. Plat closure：估计一个矩阵元¶

Plat closure 对应特定 cup-cap 初态 \(|\alpha\rangle\)（路径在相邻高度间规则往返）。不变量归一化后形如

\[ J_{\operatorname{plat}(b)}(e^{2\pi i/k}) =C(b,k)\langle\alpha|U_b|\alpha\rangle. \]

Hadamard test：

控制位制备 \(|+\rangle\)；
控制执行 \(U_b\)；
测 \(X\) 得 \(\operatorname{Re}\langle\alpha|U_b|\alpha\rangle\)；测 \(Y\) 得虚部；
重复 \(O(1/\epsilon^2)\) 次得加性误差 \(\epsilon\)，或用 amplitude estimation 降到 \(O(1/\epsilon)\) 相干调用。

最终 Jones 值的加性误差为 \(|C(b,k)|\epsilon\)。若归一化尺度本身指数大，这不等于相对误差或精确系数计算。

5. Trace closure：估计 Markov trace¶

Markov trace 是各路径终点 sector 的加权归一化 trace：

\[ \operatorname{Tr}_{\rm Markov}(U_b) =\sum_p\pi(p)\langle p|U_b|p\rangle, \]

其中 \(\pi(p)\) 由终点权重 \(\lambda_{p_n}\) 归一化。算法经典/量子采样 \(p\sim\pi\)，对每个 \(|p\rangle\) 做 Hadamard test，再平均。

因为这是 normalized trace 估计，它可在 one-clean-qubit（DQC1）模型中实现。Shor--Jordan 证明某些 Jones trace-closure 近似是 DQC1-complete；plat-closure 的相应加性近似在适当固定 \(k\) 下为 BQP-complete。

6. 为什么 BQP-hard¶

Topological quantum computation 用 anyon braid 实现通用量子门。给任意量子电路 \(C\)，可经典多项式编译为 braid \(b_C\)，使某个计算振幅近似

\[ \langle0|C|0\rangle \approx\langle\alpha|\rho(b_C)|\alpha\rangle. \]

若能经典高效完成同一归一化加性近似，就能模拟任意 BQP 计算。这证明的是特定单位根、closure 和误差尺度下的完备性，不是所有 Jones 值都同样困难。

7. HOMFLY、Betti 与 Khovanov¶

更一般的 braid/Hecke 代数表示可估计 HOMFLY polynomial。Jones 还可被“categorify”：Khovanov chain complex 的分级 Euler characteristic 恢复 Jones polynomial，而同调群

\[ Kh^{i,j}=\ker d_{i,j}/\operatorname{im}d_{i-1,j} \]

包含更多信息。

2025 年量子方案把边界算子构造成 Hodge Laplacian

\[ \Delta=d^\dagger d+dd^\dagger, \]

其零空间维数是相应 Betti/Khovanov rank。算法用预热化、Gibbs/相位估计提取近零谱质量；高效性要求 Laplacian 能在多项式时间 thermalize 且有足够谱隙。没有这些条件，chain space 指数大且同调秩可能极小，不能宣称普适指数算法。

8. 小结与习题¶

Braid word 经 Temperley--Lieb path representation 变成局部酉电路。
Plat closure 是矩阵元，trace closure 是加权 normalized trace。
量子算法给特定尺度的加性近似；精确值与相对误差可保持 #P-hard。
Khovanov 算法依赖 Hodge Laplacian 的热化与谱隙承诺。

验证 braid 三角关系在 \(\rho_A\) 下需要哪些 TL 关系。
设计 Hadamard test 分别估计实部和虚部。
解释 normalized trace 为什么适合 DQC1。
区分 Jones polynomial、Khovanov Euler characteristic 与 Khovanov ranks。

参考文献与 Zoo 覆盖¶

Zoo 2、4、41、42：Aharonov--Jones--Landau 与 TQFT universality/BQP-hardness。
Zoo 83、93、174：DQC1 trace closure、HOMFLY 与 quantum-double link invariants。
Zoo 3：Tutte/Potts 推广。
Zoo 510--511：cohomology complexity 与 Khovanov homology 量子算法。