[論文レビュー] 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 $ のベクトルとして表現する。
• $ n \times n $ モザイクにおけるリーデマイスター型移動によって誘導されるユニタリ変換のなす群として、アーモン群 $ A_n $ を定義する。
• ヒルベルト空間の基底を、追加の位相的または組み合わせ的データを含むように拡張することで、量子ガウスコード と 量子有向グラフ を定式化する。
• 群の提示に対して、提示における語の上にヒルベルト空間を定義し、ユニタリ演算子を用いて群の関係をモデル化することで、群の量子化を行う。
• 境界作用素 $ \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 $ の固有値は、チェーン複体を介して符号が交互に伝播し、$ \alpha_{s,s'} \neq 0 $ のとき $ \lambda_{s'} = -\lambda_s $ を満たす。これは超可換性 $ U\partial + \partial U = 0 $ に起因する。
• すべての基底要素 $ |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) $ のホモロジーを効率的に計算する方法が開発されれば、クハノフホモロジー を計算するための量子アルゴリズムへの道筋を示唆している。