[論文レビュー] Product Bases in Quantum Information Theory

David P. DiVincenzo, Barbara M. Terhal|ArXiv.org|Aug 11, 2000

Quantum Information and Cryptography参考文献 9被引用数 8

ひとこと要約

本稿は、DiVincenzoら（2000年）の未解決であった2つの予想——任意の次元における非拡張可能な積状態基底（UPB）の存在——を、タイルに基づく構成を用いて証明する。2つの族、GenTiles1およびGenTiles2を導入し、それぞれすべての偶数次元および特定の長方形次元においてこのようなUPBが存在することを示す。主な結果は、両族の厳密な構成と非拡張性の証明である。

ABSTRACT

We review the role of product bases in quantum information theory. We prove two conjectures which were made in DiVincenzo et al., quant-ph/9908070, namely the existence of two sets of bipartite unextendible product bases, in arbitrary dimensions, which are based on a tile construction. We pose some questions related to complete product bases.

研究の動機と目的

• 任意の次元における非拡張可能な積状態基底（UPB）の存在に関する2つの未解決予想を解消すること。
• 双粒子量子系におけるタイルに基づく幾何的アプローチを用いて、UPBの体系的な構成を提供すること。
• 完全な積状態基底の構造的性質、特に局所的区別可能性と非可換性の特徴を調査すること。
• 局所操作と古典的通信（LOCC）が積状態の区別に果たす役割を調査し、これをタイル理論と関連付けること。
• 完全な積状態基底の非可換構造を特徴付けるための「ねじり（winding）」の概念を導入し、その一般性を評価すること。

提案手法

• 偶数 $n$ に対して、複素位相 $\omega = e^{i4\pi/n}$ を用いて定義される縦型および横型の「タイル」状態を用いて、$\mathcal{H}_n \otimes \mathcal{H}_n$ における正規直交積状態の集合 GenTiles1 を構成する。
• 基底を完成させるために、$|F\rangle = \sum_{i,j} |i\rangle \otimes |j\rangle$ としてストッパー状態を定義し、直交補空間に積状態が存在しないことを保証する。
• 次元 $\mathcal{H}_m \otimes \mathcal{H}_n$ に対して $n > 3$, $m \geq 3$, $n \geq m$ を満たす場合に、位相因子 $\omega = e^{i2\pi/(n-2)}$ を用いた短いタイル状態と長いタイル状態を用いて GenTiles2 を構成する。
• 状態の直交性とタイル構造を用いて、補空間に積状態が存在しないことを証明し、非拡張性を確認する。
• 局所ユニタリ変換としての「ねじり」操作を導入し、部分空間に適用することで直交性と積構造を保ちつつ、局所的非可換性を変化させる。
• 特に10次元におけるLagarias-Shorの構成を応用して、タイル理論の結果を適用し、展開不能な完全な積状態基底を特定し、展開不能な例を示した。

実験結果

リサーチクエスチョン

• RQ1 偶数次元において、タイルに基づく構成を用いて非拡張可能な積状態基底が存在するか？
• RQ2 次元 $\mathcal{H}_m \otimes \mathcal{H}_n$ に対して $n > 3$, $m \geq 3$, $n \geq m$ を満たす場合、非拡張可能な積状態基底を構成できるか？
• RQ3 すべての完全な積状態基底はLOCCによって局所的に区別可能か、それとも本質的な障害が存在するか？
• RQ4 すべての完全な積状態基底は、カーテシアン基底から一連のねじり操作を経て生成可能か？
• RQ5 展開不能な積状態基底とタイル理論の関係は何か、特に高次元空間においては？

主な発見

• 本稿は、[DMS+]の第一の予想を確認し、すべての偶数 $n$ に対して $\mathcal{H}_n \otimes \mathcal{H}_n$ における GenTiles1 族の非拡張可能な積状態基底の存在を証明する。
• 第二の予想を解決し、$n > 3$, $m \geq 3$, $n \geq m$ を満たす $\mathcal{H}_m \otimes \mathcal{H}_n$ における GenTiles2 族のUPBの存在を確立する。
• GenTiles1 および GenTiles2 の構成により、基底の直交補空間に積状態が存在しないことが保証され、非拡張性の定義を満たす。
• 基底内のすべての状態と直交するため、$|F\rangle = \frac{1}{\sqrt{nm}}\sum_{i,j}|i\rangle \otimes |j\rangle$ として定義されるストッパー状態が、集合を完成させることを示した。
• $\mathcal{H}_2^{\otimes 10}$ において、タイル理論による構造的制約のため、ねじり手順で展開できない完全な積状態基底の反例を特定した。
• 本稿は、$\mathcal{H}_3 \otimes \mathcal{H}_3$ および $\mathcal{H}_2 \otimes \mathcal{H}_n$ におけるすべての完全な積状態基底が展開可能であり、すべてのLOCCで区別可能な基底も展開可能であることを示した。