[论文解读] Quantizing Knots and Beyond

Louis H. Kauffman, Samuel J. Lomonaco|arXiv (Cornell University)|May 1, 2011

Geometric and Algebraic Topology参考文献 28被引用 9

一句话总结

本文提出了一种通用框架，用于对数学结构（如纽结、链环、图和群表示）进行量化，通过从其离散态构建希尔伯特空间。它展示了如何通过这些空间上的酉变换编码拓扑不变量（如琼斯多项式和柯梵诺夫同调），揭示了量子信息与低维拓扑之间的深刻联系。

ABSTRACT

This paper formulates a generalization of our work on quantum knots to explain how to make quantum versions of algebraic, combinatorial and topological structures. We include a description of previous work on the construction of Hilbert spaces from the states of the bracket polynomial with applications to algorithms for the Jones polynomial and relations with Khovanov homology. The purpose of this paper is to place such constructions in a general context of the quantization of mathematical structures.

研究动机与目标

• 建立一种对组合与拓扑结构（包括纽结、链环、图和群表示）进行量化的通用方法。
• 通过使用镶嵌瓷砖系统将经典纽结图嵌入希尔伯特空间，扩展先前关于量子纽结的工作。
• 通过作用于链复形上的酉算子，将括号多项式与柯梵诺夫同调联系到量子算法。
• 探讨本征值与同调在量子不变量中的作用，特别是通过密度矩阵上酉算子的迹。
• 为计算柯梵诺夫同调等拓扑不变量的量子算法奠定基础。

提出的方法

• 构建希尔伯特空间 $ H_n = V^{igotimes n^2} $，其中 $ V $ 具有对应于纽结图中使用的11种镶嵌瓷砖的正交基。
• 将纽结和链环图表示为 $ H_n $ 中的向量，其中同伦移动以张量积空间上的酉变换编码。
• 将环境群 $ A_n $ 定义为在 $ n \times n $ 镶嵌上由 Reidemeister 型移动诱导的酉变换群。
• 通过将希尔伯特空间基扩展以包含额外的拓扑或组合数据，制定量子高斯码和量子有向图。
• 通过在表示中的字上定义希尔伯特空间，并用酉算子模拟群关系，实现群表示的量化。
• 通过具有边界算子 $ \partial $ 的链复形，将括号多项式实现为量子统计振幅，其中 $ \langle K \rangle = \mathrm{Tr}(U\rho) $，$ \rho = |\psi\rangle\langle\psi| $，且 $ |\psi\rangle = \sum_s |s\rangle $。

实验结果

研究问题

• RQ1 如何通过希尔伯特空间系统地对经典拓扑与组合结构（如纽结、链环和图）进行量化？
• RQ2 在量子框架中，酉变换在编码琼斯多项式和柯梵诺夫同调等拓扑不变量中起什么作用？
• RQ3 在该量子模型中，链复形上酉算子的本征值如何与同调群的欧拉示性数相关联？
• RQ4 柯梵诺夫同调的结构能否通过希尔伯特空间和密度矩阵自然嵌入到量子计算模型中？
• RQ5 利用此形式化方法，开发用于计算柯梵诺夫同调的量子算法具有什么潜力？

主要发现

• 括号多项式可表示为 $ \langle K \rangle = \mathrm{Tr}(U\rho) = \sum_{\lambda} \lambda \cdot \chi(H(C^{\bullet}_{\lambda})) $，其中 $ \chi $ 为欧拉示性数，$ \lambda $ 为酉算子 $ U $ 的本征值。
• 括号多项式的希尔伯特空间自然等同于复数域上柯梵诺夫同调的链复形，且 $ U $ 在同调上作用为结构算子。
• 由于满足超交换性 $ U\partial + \partial U = 0 $，$ U $ 的本征值在链复形中以交替符号传播，即当 $ \alpha_{s,s'} \neq 0 $ 时，有 $ \lambda_{s'} = -\lambda_s $。
• 对所有基元素 $ |s\rangle $ 求和得到的态 $ |\psi\rangle = \sum_s |s\rangle $，满足 $ \langle \psi|U|\psi\rangle = \sum_{\lambda} \lambda \cdot \chi(H(C^{\bullet}_{\lambda})) $，将量子期望值与拓扑不变量联系起来。
• 密度矩阵 $ \rho = |\psi\rangle\langle\psi| $ 使得琼斯多项式可表示为 $ \mathrm{Tr}(U\rho) $ 的迹形式，提供了量子统计解释。
• 该框架暗示了若能开发出高效计算链复形 $ C(K) $ 同调的方法，则可实现计算柯梵诺夫同调的量子算法。