[論文レビュー] Non-associative algebras, Yang-Baxter equations and quantum computers

Radu Iordănescu, Florin F. Nichita+1 more|arXiv (Cornell University)|Aug 16, 2014

Advanced Topics in Algebra参考文献 12被引用数 4

ひとこと要約

本稿では、ヤン・バクスター構造を通じて、結合的代数、ジョルダン代数、およびリー代数の統一を提示する。量子ヤン・バクスター方程式（QYBE）の解が、3種類の代数的恒等式を同時に符号化できることを示している。主な貢献は、普遍的量子ゲートを一般化し、ねじれ不変量と量子計算への応用に根ざした共通の枠組みを通じて、非結合的代数を結ぶ、ヤン・バクスター演算子 $ R^{A}_{\alpha,\beta,\gamma} $ を用いた新しい代数的構成である。

ABSTRACT

Non-associtive algebras is a research direction gaining much attention these days. New developments show that associative algebras and some not-associative structures can be unified at the level of Yang-Baxter structures. In this paper, we present a unification for associative algebras, Jordan algebras and Lie algebras. The (quantum) Yang-Baxter equation and related structures are interesting topics, because they have applications in many areas of mathematics, physics and computer science. Several new interpretations and results are presented below.

研究の動機と目的

• ヤン・バクスター演算子に基づく共通の枠組みにおいて、結合的、ジョルダン的、リー代数を統一すること。
• 量子ヤン・バクスター方程式（QYBE）の解が、非結合的代数の恒等式を符号化できることを示すこと。
• QYBEと普遍的量子ゲート（特にCNOTゲート）との間の関係を確立すること。
• タチアナ・ガーテヴァ＝イヴァノヴァが提起した、QYBEの解から代数を構成するという問いに応えること。
• ヤン・バクスター構造が量子計算およびアレクサンダー多項式のようなトポロジカル不変量にどのように応用できるかを検討すること。

提案手法

• 代数 $ A $ 上にヤン・バクスター演算子 $ R^{A}_{\alpha,\beta,\gamma} $ を定義し、$ a \otimes b \mapsto \alpha ab \otimes 1 + \beta 1 \otimes ab - \gamma a \otimes b $ とし、特定のパrameter条件のもとでQYBEを満たすことを示す。
• テュラエフの構成を用いて、QYBEの解 $ R^{A}_{\alpha,\beta,\gamma} $ からリンク不変量（例えばアレクサンダー多項式）を導出する。
• $ R^{A}_{1,1,1} \circ \tau $ から普遍的量子ゲートを構成し、$ \eta = 0, q = 1 $ のときその行列形式がCNOTゲートと一致することを示す。
• スーパー括弧と次数を用いて定義されるYB演算子 $ \phi^{L}_{\alpha} $ を用いて、一般化されたリー超代数構造を導入する。
• [14]の定理3.1を適用し、QYBEの解から非単位的可換代数を構成し、積を高次テンソル積へ拡張する。
• 関係式(3.5)と(3.6)を用いて、結合的代数、リー代数、ジョルダン代数の恒等式を同時に満たす統一的代数的構造を確立する。

実験結果

リサーチクエスチョン

• RQ1 結合的、ジョルダン的、リー代数は、ヤン・バクスター構造のレベルで統一可能か？
• RQ2 量子ヤン・バクスター方程式の解は、量子計算における普遍的量子ゲートとどのように関係するか？
• RQ3 QYBEの解 $ R^{A}_{1,1,1} $ から生じる代数的構造は何か？ そして、非単位的可換代数とどのように関係するか？
• RQ4 関係式(3.5)と(3.6)は、結合的代数、リー代数、ジョルダン代数の恒等式をどのように統一するか？
• RQ5 QYBEの解 $ R^{A}_{\alpha,\beta,\gamma} $ を用いて、アレクサンダー多項式のようなトポロジカル不変量を導出可能か？

主な発見

• ヤン・バクスター演算子 $ R^{A}_{\alpha,\beta,\gamma} $ がQYBEを満たすのは、以下の3つのパrameter条件のいずれかが成り立つ場合に限る：$ \alpha = \gamma \neq 0, \beta \neq 0 $；$ \beta = \gamma \neq 0, \alpha \neq 0 $；または $ \alpha = \beta = 0, \gamma \neq 0 $。
• 次元2での表現において、解 $ R^{A}_{1,1,1} \circ \tau $ は $ \eta = 0, q = 1 $ のときCNOTゲートの行列形式と一致し、普遍的量子計算と結びつく。
• QYBEの解 $ R^{A}_{\alpha,\beta,\gamma} $ はテュラエフの構成により、アレクサンダー多項式を導出し、トポロジカル不変量との関係を確立する。
• 定理3.1を[14]から適用し、$ R^{A}_{1,1,1} $ から非単位的可換代数を構成し、積をテンソル積の高次への再帰的定義で拡張する。
• 関係式(3.5)と(3.6)は、結合的代数、リー代数、ジョルダン代数の恒等式を統一する：(3.5)は結合的恒等式とジャコビ恒等式の両方を符号化し、(3.6)は3種類の代数すべてで成立する。
• リー超代数上のYB演算子 $ \phi^{L}_{\alpha} $ は、ヤン・バクスター構造の基本同型定理を用いて、リー代数と余代数の構造を統一する。