# 量子结与链环不变量：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：

1. 控制位制备 $|+\rangle$；
2. 控制执行 $U_b$；
3. 测 $X$ 得 $\operatorname{Re}\langle\alpha|U_b|\alpha\rangle$；测 $Y$ 得虚部；
4. 重复 $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 的热化与谱隙承诺。

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

## 参考文献与 Zoo 覆盖

- Zoo 2、4、41、42：[Aharonov--Jones--Landau](https://arxiv.org/abs/quant-ph/0511096) 与 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 量子算法](https://arxiv.org/abs/2501.12378)。