A Minimum-Cardinality Genuinely Unextendible Product Basis in Three Qutrits

技術要約：3つのキュトリットにおける最小基数を持つ真の拡張不可能な積基底

問題提起
本論文は、量子情報理論における長年の未解決問題である、**真の拡張不可能な積基底（Genuinely Unextendible Product Basis: GUPB）**の存在について取り組んでいる。拡張不可能な積基底（UPB）――直交する積状態の集合であり、その直交補空間に積状態を含まないもの――は確立された概念であるが、GUPBはより厳格な概念である。GUPBは、あらゆる二部分割において積状態（すなわち、任意の二部分割に対して積状態である状態）を直交補空間に持たない、直交する積状態の集合として定義される。換言すれば、G以外すべての可能な二部分割においてUPBでなければならない。

本研究以前は、直交するGUPBの存在は未解決であった。一般的な基数の下限は存在していたものの、局所的な部分系がいずれも次元2である場合（したがって、三つのキュトリット空間 $(\mathbb{C}^3)^{\otimes 3}$ が最小の候補となる）、GUPBは存在し得ることが知られていた。さらに、三つのキュトリットにおけるGUPBに対して基数13は最近除外されたが、最小の可能な基数は決定されていなかった。

手法
著者らは、グラフ理論的アプローチとコンピュータ支援探索、および厳密な代数的検証を組み合わせて用いている：

1. グラフ理論的定式化: 問題を、$n$ 個の頂点（積状態を表す）を持つ3つのグラフ ($G_A, G_B, G_C$) の、その和集合が完全グラフ $K_n$ となるような探索へとマッピングする。頂点 $i$ と $j$ の間に $G_X$ のエッジが存在するのは、パーティ $X$ の局所ベクトルが直交する場合である。積状態が互いに直交するという条件は、任意の異なるペアに対して少なくとも一つの局所的な内積がゼロであることを意味しており、これは3つのグラフの和集合が $K_n$ を被覆する必要があることを意味する。
2. コンピュータ支援探索: 著者らは、その和集合が $K_{14}$ であり、かつ $\mathbb{C}^3$ において適合する忠実な直交表現を許容する14頂点のグラフの組を探索した。探索空間を削減するために、対称性 $G_A \cong G_B$ を課した。
3. 厳密な検証: 候補となる構成が特定されると、著者らは（数値誤差を避けるために整数演算を用いて）以下の事項を検証するために厳密な計算を行った：
   • 相互直交性: 直交グラフの和集合が実際に $K_{14}$ であることを確認する。
   • 真の拡張不可能性: ランクに基づく基準（補題1）を用い、すべての二部分割（$A|BC, B|AC, C|AB$）において、その状態の集合が二部UPBであることを検証した。これには、任意の部分集合 $J$ について、一方の側の局所ベクトルが全局所空間をスパンしない場合、他方の側のベクトルが残りのパーティの全空間をスパンしなければならないことをチェックする作業が含まれる。これは、局所ベクトルから導出される部分行列のランクをチェックすることによって行われた。
4. パディングによる拡張: 任意の局所次元 $d_A, d_B, d_C \geq 3$ への結果の一般化のために、著者らは「パディング」手順を用いた。14状態の三キュトリットGUPBを、より大きなヒルベルト空間の $\{|0\rangle, |1\rangle, |2\rangle\}$ によってスパンされる部分空間に埋め込み、残りの直交補空間をインデックス $\geq 3$ を含む計算基底状態によって埋めた。

主要な貢献と結果

• 存在証明: 本論文は、14個の積状態からなる三キュトリット空間 $(\mathbb{C}^3)^{\otimes 3}$ における明示的なGUPBを構成した。これにより、GUPBが存在するかどうかという未解決問題を解決した。
• 最小基数: 構築した構成と、基数13を除外した先行研究の結果を組み合わせることで、14が三キュトリットGUPBの最小基数であることを証明した。
• 明示的な構成: 表Iに14個のすべての非正規化された実局所ベクトルを、図1に相応する直交グラフを示している。
• 一般化: 構成は、任意の三部系 $\mathbb{C}^{d_A} \otimes \mathbb{C}^{d_B} \otimes \mathbb{C}^{d_C}$ （ただし $3 \leq d_A \leq d_B \leq d_C$）へと拡張され、基数 $d_A d_B d_C - 13$ のGUPBを与える。
• 応用:
  • 有界もつれ（Bound Entanglement）: 構築されたGUPBの13次元の直交補空間への正規化された射影演算子は、部分転置に対して正（PPT）であり、かつすべての二部分割においてもつれていることが示された。したがって、これは真にもつれた有界もつれ状態を表している。
  • 強い量子非局所性: 構築されたGUPBは、もつれを伴わない強い量子非局所性を示すことが示されている。これは、この状態の集合がすべての二部分割において局所的に既約であることを意味する。すなわち、どのパーティ（または一対のパーティ）も、集合内のいずれかの状態を排除するための、非自明な直交性を保存する局所測定を行うことはできない。これは、関連する局所遷移がスパンする演算子空間が最大可能次元 ($d^2-1$) を持つことを示すことで検証されている。

意義
本論文は、GUPBの存在を実証することにより、量子非局所性と量子もつれの理論における根本的な未解決問題を解決したと主張している。最小の三部系における最小基数を確立することで、そのような構造の複雑さに対する正確なベンチマークを設定している。本研究は、すべてのカットにおいてPPTであり、かつ真にもつれた有界もつれ状態を生成するための具体的なリソースを提供するとともに、量子相関がもつれなしに状態の局所的な識別を妨げる現象である強い非局所性の研究にも寄与するものである。著者らは、MDS符号からGUPBを構成する独立した並行研究が存在するが、彼らの研究は、最小の三部系における最小基数の事例を提供している点でそれとは異なることを注記している。