[論文レビュー] Unextendible mutually unbiased bases (after Mandayam, Bandyopadhyay, Grassl and Wootters)

Koen Thas|arXiv (Cornell University)|Jul 10, 2014

Algebraic structures and combinatorial models被引用数 4

ひとこと要約

本稿は、有限幾何学を用いて、量子系における一般化されたパウリ演算子とシンプレクティック極空間の間の幾何的枠組みを確立し、拡張不能な相互に unbiased な基底（UMUBs）を分析する。先行研究の結果について短く概念的な証明を提供し、Conjecture 1.2 を解明した。その結果、これは $ d^N = 4 $ および $ 8 $ のとき、すなわち $ d=2 $、$ N=2 $ または $ N=3 $ のときのみ成り立つことが示された。また、最適な拡張不能構成として「ガロア MUBs」を導入した。

ABSTRACT

We consider questions posed in a recent paper of Mandayam, Bandyopadhyay, Grassl and Wootters [10] on the nature of "unextendible mutually unbiased bases." We describe a conceptual framework to study these questions, using a connection proved by the author in [19] between the set of nonidentity generalized Pauli operators on the Hilbert space of $N$ $d$-level quantum systems, $d$ a prime, and the geometry of non-degenerate alternating bilinear forms of rank $N$ over finite fields $\mathbb{F}_d$. We then supply alternative and short proofs of results obtained in [10], as well as new general bounds for the problems considered in loc. cit. In this setting, we also solve Conjecture 1 of [10], and speculate on variations of this conjecture.

研究の動機と目的

• 有限幾何学を用いて、拡張不能な相互に unbiased な基底（UMUBs）の幾何的解釈を提供すること。
• Mandayam ら [10] が $ \mathbb{C}^4 $ および $ \mathbb{C}^8 $ で得た UMUB の結果について、短く代替的な証明を提示すること。
• Mandayam ら [10] の Conjecture 1.2 を解消すること。これは $ \ell = 2^n $ 次元系における追加の最大可換クラスの一意存在に関するものである。
• 「ガロア MUBs」と呼ばれる、最適な未拡張性の境界に達する弱く拡張不能な MUB のクラスを導入し、その特徴を明らかにすること。
• シンプレクティック極空間と最大部分スプレッドを用いた、弱く拡張不能な MUB の集合の新しい構成技術の開発。

提案手法

• $ N $ 量子ドット系における一般化されたパウリ演算子と、$ d $ を素数として、シンプレクティック極空間 $ \mathcal{W}_{2N-1}(d) $ の点との間の既知の対応関係を用いる。
• 特に生成子、直交補空間、部分スプレッドの構造に注目し、シンプレクティック極空間の性質を応用して、パウリ演算子の可換クラスを分析する。
• $ \mathcal{W}_{3}(d) $ における双対性と接続幾何学を用い、古典的スプレッド $ \mathcal{S} $ に属さない直線 $ X $ に対して、$ \mathcal{S}_X = \mathcal{S}_Y $ を満たす唯一の双対直線 $ Y $ が存在することを示し、特定の状況で一意的な拡張が可能であることを示す。
• シンプレクティック極空間 $ \mathcal{W}_{2N-1}(d) $ 内の幾何的配置を、量子演算子構造に翻訳し、最大可換クラスを生成子に、固有基底を幾何的直線にマッピングする。
• 最大の相互に unbiased な基底の集合が $ \mathcal{W}_{2N-1}(d) $ 内のスプレッドに対応し、未拡張可能な集合が部分スプレッドに対応することを応用する。
• 生成子を通る固定された $ (N-2) $ 次元部分空間の数や、互いに交わらない生成子の点と超平面の間の双対写像といった有限幾何学の結果を応用し、境界と存在条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 どの条件下で、$ \ell = 2^n $ 次元系における $ \ell/2 + 1 $ 個の最大可換パウリクラスが、一意的な追加可換クラスを有し、パウリクラスの未拡張可能な集合を形成するか？
• RQ2 Mandayam ら [10] の Conjecture 1.2 はすべての $ n $ に対して成り立つか、それとも特定の $ n $ の値に限るのか。特に、$ n=2 $ および $ n=8 $ のときのみ成り立つかどうか。
• RQ3 シンプレクティック極空間内の最大部分スプレッドといった幾何的構造から、弱く拡張不能な MUB の集合の新しい構成を体系的に導出可能か？
• RQ4 「ガロア MUBs」は、最適な未拡張性の境界に達する役割を果たすが、標準的な UMUB とはどのように異なるか？
• RQ5 奇素数次元や高ランクの極空間に対して、より広い設定でも成り立つ可能性がある、Conjecture 1.2 の代替的表現は存在するか？

主な発見

• Mandayam ら [10] の Conjecture 1.2 は一般には誤りであることが証明された。これは $ d=2 $ かつ $ N=2 $ または $ N=3 $ のとき、すなわち $ \ell = 4 $ および $ \ell = 8 $ のときのみ成り立つ。
• 本稿は、$ \mathcal{W}_3(2) $ の構造を用いて、[10] の定理 1.1 の短い幾何的証明を提供した。この定理は、$ \mathbb{C}^4 $ における MUB の未拡張性を確立している。
• 任意の奇素数べき $ \ell $ に対して、$ \mathcal{W}_3(\ell) $ 内に新しい最大部分スプレッドが構成され、これは弱く拡張不能な MUB の集合に対応し、すべてのケースで新しい境界に達する。
• $ \ell = 2^n $ 系における追加の最大可換クラスの一意存在は、$ \mathcal{S}_X = \mathcal{S}_Y $ を満たす唯一の直線 $ Y $ の存在と同値であることが示された。この条件は $ n=2 $ および $ n=8 $ のときのみ満たされる。
• 「ガロア MUBs」という、未拡張性において最適な境界に達する弱く拡張不能な MUB の特別なクラスを導入した。これは幾何的に最大構造を示唆している。
• 本稿は、$ \mathcal{W}_{2N-1}(d) $ と $ \mathcal{Q}(4,d) $ の間の幾何的双対性が、量子演算子問題を接続幾何学にきれいに翻訳できることを示し、新たな洞察と証明をもたらした。