[論文レビュー] Quantum Computation of Jones' Polynomials

V. Subramaniam, P. Ramadevi|ArXiv.org|Oct 12, 2002

Geometric and Algebraic Topology参考文献 12被引用数 10

ひとこと要約

本稿では、六頂点模型から得られる braid 群生成子のユニタリ表現を用いて、2n本のストランドを持つ braid から導かれる結び目およびリンクのジョーンズ多項式を計算する量子アルゴリズムを提案する。バングル語をユニタリ量子ゲートの積にマッピングすることで、アルゴリズムはジョーンズ多項式の絶対値平方を測定確率として得る。これにより、正規化を除いて正確なジョーンズ多項式が、アキラルな結び目およびリンクに対して正しく得られる。

ABSTRACT

It is a challenging problem to construct an efficient quantum algorithm which can compute the Jones' polynomial for any knot or link obtained from platting or capping of a $2n$-strand braid. We recapitulate the construction of braid-group representations from vertex models. We present the eigenbases and eigenvalues for the braiding generators and its usefulness in direct evaluation of Jones' polynomial. The calculation suggests that it is possible to associate a series of unitary operators for any braid word. Hence we propose a quantum algorithm using these unitary operators as quantum gates acting on a $2n$ qubit state. We show that the quantum computation gives Jones' polynomial for achiral knots and links.

研究の動機と目的

• バングルから生じる結び目およびリンクのジョーンズ多項式を、量子アルゴリズムによって効率的に計算する。
• ジョーンズ多項式評価の古典的 #P-ハード性を、量子計算を活用することで克服する。
• バングル語と 2n デュオット状態レジスタ上での作用するユニタリ演算子との直接的対応関係を確立する。
• 変化した状態の量子測定確率がジョーンズ多項式の絶対値平方に一致することを示す。
• アキラルな結び目およびリンクでは、行列要素が実数であるため、行列要素 ⟨0|U_B|0⟩ が正規化を除いて正確なジョーンズ多項式を直接与えることの証明。

提案手法

• 六頂点模型（N=2）から得られる R-行列を用いて、2n ストランドのバングル群表現を構築する。
• バインド生成子を対角化し、固有値と固有状態を得ることで、制御操作によるユニタリ時間発展を可能にする。
• 全バングル語を、2n デュオットヒルベルト空間上で作用する双対性行列と対角的バインド行列から成るユニタリ演算子の積として表現する。
• 初期状態を |0⟩^⊗2n（カップを表す）に設定し、バングル語に対応するユニタリ時間発展演算子 U_B を適用する。
• 測定確率 |⟨0|U_B|0⟩|² を求め、これがジョーンズ多項式の絶対値平方に一致することを確認する。
• アキラルな結び目では行列要素 ⟨0|U_B|0⟩ が実数であるため、測定確率が正規化を除いてジョーンズ多項式そのものとなる。

実験結果

リサーチクエスチョン

• RQ1 バングルから導かれる結び目およびリンクのジョーンズ多項式は、量子アルゴリズムによって効率的に計算可能か？
• RQ2 頂点模型から得られるバングル群生成子を、量子計算用のユニタリ量子ゲートにどのようにマッピングできるか？
• RQ3 バインド行列の固有基底と固有値が、ジョーンズ多項式の直接的評価を可能にする役割は何か？
• RQ4 量子測定確率がジョーンズ多項式そのものに正確に一致するのはどのような条件下か？
• RQ5 この量子アルゴリズムは、すべての結び目にジョーンズ多項式を計算するために拡張可能か、それともアキラルな結び目のような特定のクラスに限られるか？

主な発見

• 任意の 2n ストランドのバングルから導かれる結び目またはリンクのジョーンズ多項式は、ユニタリ演算子 U_B を用いて ⟨0|U_B|0⟩ の絶対値平方として計算可能である。
• アキラルな結び目およびリンクでは、行列要素 ⟨0|U_B|0⟩ が実数であるため、量子測定により正規化を除いてジョーンズ多項式そのものが直接得られる。
• ユニタリ表現 U_B は、双対性行列と対角的バインド行列から得られる 2n デュオット状態のユニタリ演算子の積として構築され、ゲート数はバングル語長さの2倍以内である。
• この手法は、六頂点模型から得られるバインド生成子の固有基底と固有値に依存しており、多項式の明示的計算を可能にする。
• アルゴリズムは、古典的 #P-ハード性にもかかわらず、非自明な結び目のクラスに対して量子計算がジョーンズ多項式を効率的に計算できることを示している。
• このフレームワークは、統計力学的モデルから導かれるユニタリゲートを用いたトポロジカル量子計算の明確な実装を提供する。