[論文レビュー] Equivalence of Local Complementation and Euler Decomposition in the Qutrit ZX-calculus

Xiaoyan Gong, Quanlong Wang|arXiv (Cornell University)|Apr 19, 2017

Quantum Information and Cryptography参考文献 11被引用数 3

ひとこと要約

本稿では、三値量子計算におけるZX計算式の局所的補完とオイラー分解の同値性を確立し、三値局所的補完性が、ハダマードゲート H が緑と赤のスパインの 4π/3 回転にオイラー分解可能であることと同値であることを証明している。著者らは、三値ZX計算式のための修正されたルール集合を導入し、双対子の一致やホップ法則といった基礎的な図式的性質を証明し、三値安定器量子力学における完全性に関する結果の基盤を築いた。

ABSTRACT

In this paper, we give a modified version of the qutrit ZX-calculus, by which we represent qutrit graph states as diagrams and prove that the qutrit version of local complementation property is true if and only if the qutrit Hadamard gate $H$ has an Euler decomposition into $4π/3$-green and red rotations. This paves the way for studying the completeness of qutrit ZX-calculus for qutrit stabilizer quantum mechanics.

研究の動機と目的

• 三値安定器量子力学における図式的推論を可能にする、修正された、健全で完全な三値ZX計算式のルール集合を確立すること。
• 三値グラフ状態を三値ZX計算式の枠組み内で図式として表現すること。
• 三値設定における局所的補完性が成立する条件を調査すること。
• 三値版の局所的補完性が、ハダマードゲート H が 4π/3 回転にオイラー分解可能であることと同値であることを証明すること。
• 三値ZX計算式の完全性を安定器量子力学において証明する基盤を築くこと。

提案手法

• トポロジー的変形の仮定を避けるために、(S3) および (H2′) のルールを追加し、(S1) と (P1) を拡張し、(P2) を削除し、(K2) を簡略化することで、修正された三値ZX計算式を導入する。
• ヒルベルト空間における図式の標準的解釈を定義し、角度 2π/3 と 4π/3 をそれぞれ 1 と 2 として扱い、ハダマードゲート H をその行列表現および状態表現で定義する。
• 新しいルール集合を用いて、基礎的な図式的性質（ホップ法則、すべての双対子の一致、コピーとコピーコピー操作の可換性）を証明する。
• 図式的推論を用いて、三角形における局所的補完が、H の 4π/3 回転へのオイラー分解を示すことを示す。
• 逆に、H のオイラー分解が成立すれば、図式変換の系列により局所的補完が有効であることを示す。
• 一般の場合をスターマルチグラフおよび H†-エッジをもつ完全グラフに還元することで、一般の 3-マルチグラフにおける局所的補完をスターマルチグラフおよび完全グラフに一般化し、帰納的証明戦略を可能にする。

実験結果

リサーチクエスチョン

• RQ1 三値ZX計算式において、局所的補完性がどのような条件下で成立するか。
• RQ2 三値ハダマードゲート H は、緑と赤のスパインの 4π/3 回転に分解可能か。その関係は局所的補完性とどのように関係するか。
• RQ3 修正された三値ZX計算式のルールは、ホップ法則や双対子の一致といった重要な図式的恒等式の導出をサポートできるか。
• RQ4 H のオイラー分解は、三値設定における局所的補完性の必要十分条件か。
• RQ5 一般の三値グラフ状態は、修正された三値ZX計算式を用いてどのように表現され、変換可能か。

主な発見

• 三値局所的補完性が成立するのは、ハダマードゲート H が緑と赤のスパインの 4π/3 回転へのオイラー分解を有するとき、かつそのときに限る。
• 修正された三値ZX計算式のルール（(S3)、(H2′)、拡張された (S1) および (P1) を含む）は、ホップ法則およびすべての双対子の一致を導出可能である。
• ハダマードゲート H 及びその逆 H† は、緑のカップに自由にスライド可能であり、これは図式的変換において重要な性質である。
• H のオイラー分解は一意でないことが、同じゲートを表す複数の等価な図式的表現によって示された。
• 一方の 4π/3 回転の色は、オイラー分解を用いて他方の色で表現可能であり、ルールセットにおける色の対称性を示している。
• 一般の 3-マルチグラフにおける局所的補完は、スターマルチグラフおよび H†-エッジをもつ完全グラフに還元可能であり、帰納的証明戦略の実現を可能にする。