[論文レビュー] Parameter-dependent Gaussian $(z,N)$-generalized Yang-Baxter operators

Eric C. Rowell|arXiv (Cornell University)|Oct 31, 2014

Algebraic structures and combinatorial models参考文献 23被引用数 3

ひとこと要約

本稿は、ガウス型 $R$-行列を用いて、$(z,N)$-一般化ヤン・バクスターゲンレア方程式のパラメータ依存ユニタリ解を構成し、ベル状態を $m$-レベル $N$-粒子もつれ状態に一般化する。スペクトルパラメータ $a$ を導入し、$\tilde{R}(a)$ が恒等写像とガウス型解の間を滑らかに補間するようにし、ユニタリ braid 群表現とすべての $m > 2$ に対して $N$-粒子 GHZ-類似状態を生成する。シュレーディンガー方程式を用いて明示的なハミルトニアンの時間発展演算が導出される。

ABSTRACT

We find unitary solutions $ ilde{R}(a)$ to the (multipicative parameter-dependent) $(z,N)$-generalized Yang-Baxter equation that carry the standard measurement basis to $m$-level $N$-partite states that generalize the Bell states corresponding to $ ilde{R}(0)$ in the case $m=N=2$. This is achieved by a careful study of solutions to the Yang-Baxter equation discovered by Fateev and Zamolodchikov in 1982.

研究の動機と目的

• qubit ($m=2$) を超えて、任意の $m > 2$-レベル系にまで $(z,N)$-一般化ヤン・バクスターゲン作用素の構成を拡張すること。
• 恒等写像とガウス型 $R$-行列の間を滑らかに補間するパラメータ依存解 $\tilde{R}(a)$ を開発し、ユニタリ性と braid 群構造を保つこと。
• 標準測定基底からの $N$-粒子 GHZ-類似もつれ状態を、これらの作用素を用いて一般化し、ベル状態フレームワークを高次元に拡張すること。
• スペクトルパラメータに依存する時間発展演算をシュレーディンガー方程式を用いてユニタリな時間発展モデルとして確立すること。
• 得られた作用素が、$N/2 \leq z \leq N-1$ を満たす $z$ と $N$ に対して、遠隔非可換性と braid 関係を満たすことを保証すること。

提案手法

• $\mathbb{C}^m$ の $N$ 重テンソル積 $(\mathbb{C}^m)^{\otimes N}$ 上に、$\sigma_x$ と $\sigma_y$ を用いて $M_{m^N} = q^{(m-1)(N-2)/2} \sigma_x \otimes \sigma_y^{\bigotimes N-1}$ と定義されるユニタリ作用素を構成する。ここで $\sigma_x$ と $\sigma_y$ は $\sigma_x\sigma_y = q^{-2}\sigma_y\sigma_x$ を満たすシフト作用素である。
• $N/2 \leq z \leq N-1$ の範囲で有効な、量子トーラス $T_{q^2}^m(n)$ の表現 $\psi(u_i)$ を $\psi(u_i) = \text{Id}^{\otimes i-1} \otimes M_{m^N} \otimes \text{Id}^{\otimes n-i-1}$ で定義する。
• パラメータ依存解 $R_i^\psi(\alpha) = \sum_{j=0}^{m-1} x_j(\alpha) \cdot \text{Id}^{\otimes i-1} \otimes (M_{m^N})^j \otimes \text{Id}^{\otimes n-i-1}$ を導入し、$\alpha \in i\mathbb{R}$ によりユニタリ性を保証する。
• パラメータフリー極限 $\tilde{R}_i(0) = \frac{1}{\sqrt{m}} \sum_{j=0}^{m-1} q^{j^2} u_i^j$ を導出し、$\sigma_i \mapsto \tilde{R}_i(0)$ によりユニタリ braid 群表現が得られることを示す。
• ガウス型 $R$-行列の固有値構造から、ヤン・バクスターライゼーション手順を適用し、スペクトルパラメータ依存性を回復する。
• 時間発展演算 $\varphi(a) = \tilde{R}(a)\varphi(0)$ を記述するシュレーディンガー方程式を確立し、パラメータ化された $\tilde{R}(a)$ から時間依存ハミルトニアンを導出する。

実験結果

リサーチクエスチョン

• RQ1 パラメータ依存のユニタリ解が、$m > 2$ の $m$-レベル $N$-粒子系にまでベル状態を一般化する $(z,N)$-一般化ヤン・バクスターゲン方程式に対して構成可能か？
• RQ2 ガウス型 $R$-行列にスペクトルパラメータ $a$ を導入することで、恒等写像とガウス型解の間を滑らかに補間する連続的なユニタリ作用素族を生成できるか？
• RQ3 $z$ と $N$ にどのような条件を課すと、トポロジカル量子計算に必要な遠隔非可換性と braid 群関係を満たす作用素が得られるか？
• RQ4 ユニタリ時間発展演算 $\tilde{R}(a)$ がシュレーディンガー方程式に従うとき、時間依存ハミルトニアンの形はどのようなものか？
• RQ5 パラメータ依存 $R$-行列は、ガウス解の固有値構造からヤン・バクスターライゼーションにより導出可能か？また、他の構成法と比較してどのように異なるか？

主な発見

• 作用素 $S^\psi = \frac{1}{\sqrt{m}} \sum_{j=0}^{m-1} q^{j^2} (M_{m^N})^j$ は、標準基底 $|k\rangle^{\otimes N}$ を $N$-粒子 $m$-レベルもつれ状態 $\frac{1}{\sqrt{m}} \sum_{j=0}^{m-1} q^{c_j(k,m,N)} |j\rangle^{\otimes N}$ に写像する。ここで $c_j(k,m,N) = (k-j)^2 + \frac{[m-1 + (j-k)(j+k+1)](N-2)}{2}$ である。
• $N=2$ の場合、係数は $c_j(k,m,2) = (k-j)^2$ に簡略化され、$m$-レベル系における標準ガウス型 $R$-行列が回復される。
• パラメータ依存解 $\tilde{R}(a)$ は、$a=1$ で恒等写像、$a=0$ でガウス型解に補間する。ガウス型解は $a=\pm\infty$ でも現れ、パラメータフリーの $(z,N)$-gYBE は $a \in \{0,1,\pm\infty\}$ のみで満たされる。
• ユニタリ braid 群 $\mathcal{B}_n$ の表現は $\sigma_i \mapsto S_i^\psi = \frac{1}{\sqrt{m}} \sum_{j=0}^{m-1} q^{j^2} \text{Id}^{\otimes i-1} \otimes (M_{m^N})^j \otimes \text{Id}^{\otimes n-i-1}$ により得られ、$q$ が $m$ 乗単位根であるとき有効である。
• 時間発展演算 $\varphi(a) = \tilde{R}(a)\varphi(0)$ を記述するシュレーディンガー方程式は、ユニタリダイナミクスを支配し、時間依存ハミルトニアンはスペクトルパラメータ $a$ から導出可能である。
• 本構成により、$M_{m^N}$ がユニタリであり、$(M_{m^N})^m = \text{Id}_{m^N}$ を満たすことが保証され、また作用素 $\psi(u_i)$ は量子トーラス関係 $\psi(u_i)\psi(u_{i+1}) = q^2 \psi(u_{i+1})\psi(u_i)$ を満たし、$|i-j|>1$ のとき $N/2 \leq z \leq N-1$ の範囲で可換である。