[論文レビュー] Generalized Yang-Baxter Equations and Braiding Quantum Gates

Rebecca Chen|arXiv (Cornell University)|Aug 26, 2011

Algebraic structures and combinatorial models参考文献 5被引用数 4

ひとこと要約

本稿では、複素平面の上半円にパラメータ化された、一般化されたヤン・バクスター方程式のユニタリ解の3つの新しい族を提示する。これらの解は、トポロジカル量子計算におけるバーニング量子ゲートを生成するユニタリブレード群表現をもたらし、任意任何子統計を用いた普遍的量子計算への新たな道筋を提供する。

ABSTRACT

Solutions to the Yang-Baxter equation - an important equation in mathematics and physics - and their afforded braid group representations have applications in fields such as knot theory, statistical mechanics, and, most recently, quantum information science. In particular, unitary representations of the braid group are desired because they generate braiding quantum gates. These are actively studied in the ongoing research into topological quantum computing. A generalized Yang-Baxter equation was proposed a few years ago by Eric Rowell et al. By finding solutions to the generalized Yang-Baxter equation, we obtain new unitary braid group representations. Our representations give rise to braiding quantum gates and thus have the potential to aid in the construction of useful quantum computers.

研究の動機と目的

• 既知のユニタリ解の一般化ヤン・バクスター方程式への拡張として、新たな解の族を構成すること。
• これらの解がブレード群のユニタリ表現をもたらし、トポロジカル量子計算に不可欠であることを示すこと。
• 得られた表現が、量子情報処理に適用可能なバーニング量子ゲートを生成することを確立すること。
• これらの解の数学的構造と、量子計算システムにおける物理的実現可能性を調査すること。

提案手法

• 著者らは、既知のユニタリ解（ローイェル解）を一般化し、複素平面の上半円にパラメータ化された3つの異なるユニタリ $(2,3,1)$-R行列の族を構成した。
• 教授・ローイェルのコードに基づいた改変されたMapleプログラムを用い、数値的検証を $10^{-11}$ の精度で行った。
• 代数的証明により、構成された行列が一般化ヤン・バクスター方程式および遠隔可換性条件を満たすことが確認された。
• ブレード群表現は、R行列から $R_{\text{braiding}} = \rho_R(\beta)$ を定義することで得られた。
• ユニタリバーニング量子ゲートは $U_i = \lambda \cdot \rho_R(\sigma_i)$ として定義され、$\lambda \neq 0$ である。
• 遠隔可換性条件は代数的に検証され、$n \geq 1$ に対して $B_n$ 上で表現が適切に定義されることを保証した。

実験結果

リサーチクエスチョン

• RQ1 2×2ブロックが対角かつユニタリであるが、それらのブロック自体がユニタリでない場合の、すべてのユニタリ $(2,3,1)$-R行列を分類する方法は何か？
• RQ2 解 $R_X$ と同じゼロパターンを持つ、完全なユニタリ $(2,3,1)$-または $(2,3,2)$-R行列の集合は何か？
• RQ3 新しいR行列から導かれるバーニング量子回路を用いて、どの量子回路を実現できるか？
• RQ4 新しいバーニング量子回路を用いて、もともとエンタングル状態でない状態からエンタングル状態を生成できるか？
• RQ5 同じ族に属する異なるR行列から得られるブレード群表現は同値であるか？もしそうなら、どのようなユニタリ変換のもとで同値となるか？

主な発見

• 一般化ヤン・バクスター方程式のユニタリ解の3つの新しい族が構成され、それぞれ複素平面の上半円にパラメータ化されている。
• すべての解が遠隔可換性条件を満たしており、$n \geq 1$ に対してすべての $(\mathbb{C}^2)^{\otimes(n+1)}$ 上でブレード群 $B_n$ のユニタリ表現をもたらすことが保証されている。
• 得られた表現は、$U_i = \lambda \cdot \rho_R(\sigma_i)$ の形のバーニング量子ゲートを生成し、トポロジカルキュービットを用いた普遍的量子計算を可能にする。
• 解は数値的に $10^{-11}$ の精度で検証され、代数的に一般化ヤン・バクスター方程式およびブレード群の関係を満たすことが確認された。
• 補題4.3は、定理3.3に含まれるすべての $(2,3,1)$-R行列が遠隔可換性条件を満たすことを確認しており、したがって有効なブレード群表現をもたらす。
• 本稿は、表現の同値性、物理的実現可能性、およびブレード群表現の像の完全な特定について未解決の問題を残しており、今後の研究の道筋を示唆している。