[論文レビュー] The LU-LC conjecture is false

Zhengfeng Ji, Jianxin Chen+2 more|arXiv (Cornell University)|Sep 9, 2007

Quantum Computing Algorithms and Architecture被引用数 12

ひとこと要約

この論文は、2つの安定化子状態が局所ユニタリ（LU）同値であるが局所クリフォード（LC）同値でない例を提示することで、LU-LC予想を反証している。二次形式問題（QFP）から安定化子状態への変換を用いて、LU同値であるがLC同値でない明示的な状態を構成し、一般にLU同値とLC同値が等価でないことが示された。特に、ランクが6以上の安定化子状態においてその差が顕著に現れる。

ABSTRACT

The LU-LC conjecture is an important open problem concerning the structure of entanglement of states described in the stabilizer formalism. It states that two local unitary equivalent stabilizer states are also local Clifford equivalent. If this conjecture were true, the local equivalence of stabilizer states would be extremely easy to characterize. Unfortunately, however, based on the recent progress made by Gross and Van den Nest, we find that the conjecture is false.

研究の動機と目的

• 長年のLU-LC予想を反証すること。この予想は、局所ユニタリ（LU）同値である安定化子状態は、必ず局所クリフォード（LC）同値であると主張している。
• 一般にLU同値とLC同値が等価でないことを示し、LC同値が安定化子状態における局所同値を完全に特徴づけるという仮定に疑問を呈すること。
• 二次形式とグラフ状態変換を用いた反例の構成的手法を提供すること。
• 安定化子形式がLCフレームワークを超えて局所ユニタリ同値を特徴づける限界を明確にすること。

提案手法

• GrossとVan den Nestの最近の結果を用いて、LU-LC予想をより単純な問題に変換し、二次形式問題（QFP）に還元する。
• 二次関数 $ Q(x) $ を用いて、$ \frac{1}{\sqrt{|T|}}\sum_{x\in T}(-1)^{Q(x)}|x\rangle $ の形で、アフィン部分空間上の均一な重ね合わせとして安定化子状態を構築する。
• 2つの状態 $ |S\rangle = \sum_{x\in S}|x\rangle $ と $ |Q,S\rangle = \sum_{x\in S}(-1)^{Q(x)}|x\rangle $ を定義し、これらはD LU同値であるため、LU同値でもある。
• LC同値性を判定するアルゴリズム（NDM04a）を用いて、対応するグラフ状態 $ |G_S\rangle $ と $ |G_{Q,S}\rangle $ がLC同値かどうかをテストする。
• グラフ状態への変換を適用し、グラフ論的ルールを用いて効率的にLC同値性をテストできるようにする。
• 最小安定化子サポートに関する結果（NDM05）を活用し、局所ユニタリがクリフォードでない場合にLC同値でないことを理論的に裏付ける。これにより反例の正当性が保証される。

実験結果

リサーチクエスチョン

• RQ1 LU-LC予想が主張するように、すべてのLU同値な安定化子状態は必然的にLC同値であるのだろうか？
• RQ2 2つの安定化子状態がLU同値であるがLC同値でない反例を構築できるのだろうか？
• RQ3 このような反例が存在するための最小のキュービット数は何か？
• RQ4 安定化子群の構造と二次関数 $ Q(x) $ の性質が、LU同値とLC同値の違いにどのように影響するのか？
• RQ5 グラフ論的手法や安定化子形式を用いて、LU-LCの違いを特徴づけられるのだろうか？

主な発見

• LU-LC予想は誤りである：LU同値だがLC同値でない安定化子状態が存在する。
• 27キュービットの反例が構築され、著者らはこれがこのような反例の最小サイズであると考えている。
• 反例は、二次形式問題（QFP）の反証された例から導出されており、これによりLU-LC予想の誤りが変換によって裏付けられる。
• 状態 $ |S\rangle $ と $ |Q,S\rangle $ はD LU同値であり、したがってLU同値であるが、対応するグラフ状態 $ |G_S\rangle $ と $ |G_{Q,S}\rangle $ はLC同値でない。
• 1つの辺の違いしかない2つのグラフ状態が、LU同値であるがLC同値でないという反例が示された。
• 乱数プロシージャーを用いて、35キュービットの反例も生成された。また、乱数構築の洞察を活用して、7キュービットの反例も後で発見された。