[論文レビュー] Quantum automata, braid group and link polynomials

Silvano Garnerone, Annalisa Marzuoli+1 more|ArXiv.org|Jan 25, 2006

Algebraic structures and combinatorial models参考文献 20被引用数 8

ひとこと要約

この論文は、スピンネットワークに基づく量子オートマトンモデルを提案し、離散時間ユニタリ発展を用いてリンクのカラーディッジ多項式を計算する。オートマトンの遷移振幅は、根の単位の根における拡張されたディッジ多項式を与える。時間計算量は、交差数に対して線形的で、ブレード指数に対して多項式的であり、$U_q(su(2))$表現理論とチーン＝シモンズ場理論を用いて計算量を推定する。

ABSTRACT

The spin--network quantum simulator model, which essentially encodes the (quantum deformed) SU(2) Racah--Wigner tensor algebra, is particularly suitable to address problems arising in low dimensional topology and group theory. In this combinatorial framework we implement families of finite--states and discrete--time quantum automata capable of accepting the language generated by the braid group, and whose transition amplitudes are colored Jones polynomials. The automaton calculation of the polynomial of (the plat closure of) a link L on 2N strands at any fixed root of unity is shown to be bounded from above by a linear function of the number of crossings of the link, on the one hand, and polynomially bounded in terms of the braid index 2N, on the other. The growth rate of the time complexity function in terms of the integer k appearing in the root of unity q can be estimated to be (polynomially) bounded by resorting to the field theoretical background given by the Chern-Simons theory.

研究の動機と目的

• リンクのカラーディッジ多項式を計算できる有限状態・離散時間量子オートマトンの開発を目的とする。
• スピンネットワーク量子シミュレータモデルを通じて、量子オートマトンと位相的不変量の間の関係を確立すること。
• オートマトンの時間計算量を、リンクの交差数とブレード指数の観点から分析し、多項式的および線形的境界を示すこと。
• 計算量の成長率をチーン＝シモンズ場理論と関連付け、レベル $k = \nu + 2$ に応じた成長率を推定すること。
• 効率的な符号化とユニタリ操作の課題を特定することで、完全な量子アルゴリズムへの基盤を築くこと。

提案手法

• オートマトンは、$q$-braided スピンネットワーク計算空間を用いて構築され、量子変形 $SU(2)$ の $U_q(su(2))$ ラカ＝ライナー tensor 代数を符号化する。
• 遷移振幅は $6j$-記号と基本的ブレード作用素 $B_i$ により定義され、ブレードステップの間に双対性変換（ラカ移動）が適用される。
• オートマトンはスピンネットワークグラフ上の経路に沿って発展し、各ステップがブレード操作または双対性操作に対応し、ユニタリ発展を保証する。
• 最終的な振幅は、式 (37) のように、経路順序付き期待値として、ブレードのプラット閉包を符号化する拡張ディッジ多項式に対応する。
• 計算ステップ数を交差数 $\kappa(L)$ とブレード指数 $2N$ に関連付けることで、複雑さの境界を導出する。$\mathfrak{c}(N) \sim (2N-1)\ln(2N-1)$。
• レベル $k = \ell + 2$ における成長率は、チーン＝シモンズ理論の場理論的結果を用いて推定され、$|Z_k^G| = \mathcal{O}(k^d)$ となる。ここで $d$ はハガード・ジェノスに依存する。

実験結果

リサーチクエスチョン

• RQ1 有限状態・離散時間量子オートマトンを、ブレード群表現を用いてリンクのカラーディッジ多項式を計算できるように設計できるか？
• RQ2 このようなオートマトンの時間計算量は、交差数 $\kappa(L)$ とブレード指数 $2N$ の観点からどのように評価できるか？
• RQ3 根の単位パrameter $q = \exp(-2\pi/(\ell+2))$ に伴う、オートマトンの計算量の成長率はどのようにスケーリングされるか？
• RQ4 チーン＝シモンズ場理論の枠組みを用いて、計算された多項式の漸近的挙動を推定できるか？
• RQ5 このオートマトンモデルが、リンク不変量の完全で効率的な量子アルゴリズムに発展するための必要条件は何か？

主な発見

• オートマトンの時間計算量は、交差数 $\kappa(L)$ に対して線形的であり、計算ステップ数 $|B|$ は $|B| \leq \mathfrak{c}(N) \kappa(L)$ を満たす。
• 因子 $\mathfrak{c}(N)$ は $\sim (2N-1)\ln(2N-1)$ のように成長し、ブレード指数 $2N$ に対して多項式的依存を示す。
• オートマトンの遷移振幅は、$q$-braided スピンネットワーク空間における経路順序付き期待値を通じて、任意の根の単位における拡張ディッジ多項式を計算する。
• ディッジ多項式の絶対値は $\mathcal{O}(k^d)$ のように成長し、$k = \ell + 2$ で、$d$ は3次元多様体のハガード・ジェノスによって上限が与えられる。
• このモデルは、位相的量子場理論（チーン＝シモンズ）、スピンネットワーク、量子オートマトンの間の直接的なリンクを確立し、$q$-変形 $SU(2)$ 構造を計算フレームワークに埋め込む。
• 計算量の推定は、$U_q(su(2))$ の表現理論とチーン＝シモンズ理論の組み合わせにより、$k = \ell + 2$ における成長率を明確に示している。