[論文レビュー] Classifying all mutually unbiased bases in Rel

Julia L. Evans, Ross Duncan+2 more|ArXiv.org|Sep 24, 2009

Molecular spectroscopy and chirality参考文献 17被引用数 12

ひとこと要約

この論文は、カテゴリ Rel におけるすべての相互に unbiased な基底（MUBs）を分類し、$ d^2 $ 個の要素を持つ集合に存在する相互に補完的な古典的構造の数が、ちょうど $ d $ 次の相互に直交するラテン方陣（MOLS）の数に一致することを示している。$ d = 6 $ の場合、論文はそのような構造が正確に 3 つ存在することを証明しており、これは有限次元ヒルバート空間における未解決問題と一致する。ここで、次元 6 の量子系では、まだ 3 つの MUB のみが知られている。

ABSTRACT

Finding all the mutually unbiased bases in various dimensions is a problem of fundamental interest in quantum information theory and pure mathematics. The general problem formulated in finite-dimensional Hilbert spaces is open. In the categorical approach to quantum mechanics one can find examples of categories which behave ``like'' the category of finite-dimensional Hilbert spaces in various ways but are subtly different. One such category is the category of sets and relations, $\mathbf{Rel}$. One can formulate the concept of mutually unbiased bases here as well. In this note we classify all the mutually unbiased bases in this category by relating it to a standard question in combinatorics.

研究の動機と目的

• カテゴリ Rel in におけるすべての相互に unbiased な基底（MUBs）を分類すること。これは、{0,1} スカラーを用いた有限次元ヒルバート空間と類似した圏的枠組みである。
• Rel における相互に補完的な古典的構造と、相互に直交するラテン方陣（MOLS）との間の明確な対応関係を確立すること。
• 特に $ d = 6 $ の場合に、$ d^2 $ 要素の集合における相互に unbiased な基底の数を解明すること。これは、量子系では未解決の問題である。
• Rel におけるラテン方陣の組み合わせ的構造と、$ \mathbb{C}^d $ における最大 MUB の未解決問題との間の構造的類似性を探ること。

提案手法

• 集合 $ X $ のサイズが $ d^2 $ である場合、$ \mathbf{Rel} $ における古典的構造を、各ブロックにアーベル群構造を備えた $ X $ の分割として定義する。
• 2 つの分割が補完的であるとは、それらが直交するラテン方陣のペアを形成することを意味する。
• $ k $ 個の相互に補完的な古典的構造と、$ d $ 次の $ k-2 $ 個の相互に直交するラテン方陣（MOLS）との間の全単射を構成する。
• $ d^2 $ 要素上に $ k $ 個の相互に補完的な分割が存在することは、$ d $ 次の $ k-2 $ 個の MOLS が存在することと同値であることを証明する。
• 既知の組合せ論的結果を活用する：6 次のラテン方陣の直交ペアは存在しないため、最大で 3 個の相互に補完的な分割が存在する。
• MOLS と $ \mathbf{Rel} $ における MUB の双対性を活用し、組合せ論的分類によって MUB の正確な数を導出する。

実験結果

リサーチクエスチョン

• RQ1 サイズ $ d^2 $ の集合に対して、カテゴリ $ \mathbf{Rel} $ に存在する相互に unbiased な基底はいくつあるか？
• RQ2 カテゴリ $ \mathbf{Rel} $ における相互に unbiased な基底の背後にある正確な組合せ的構造は何か？
• RQ3 $ \mathbf{Rel} $ における MUB の分類は、$ \mathbb{C}^6 $ における最大 MUB の未解決問題を解明する手がかりとなるか？
• RQ4 相互に補完的な古典的構造が $ \mathbf{Rel} $ に存在するのと、相互に直交するラテン方陣が存在することは、構造的に同値であるか？
• RQ5 $ \mathbf{Rel} $ における $ d = 6 $ の場合に正確に 3 つの MUB が得られるのはなぜか？そしてそれは量子系の状況とどのように関係するか？

主な発見

• サイズ $ 6^2 = 36 $ の集合に対して、$ \mathbf{Rel} $ には正確に 3 つの相互に unbiased な基底（MUBs）が存在する。これは、6 次の直交ラテン方陣のペアが存在しないことと一致する。
• $ d^2 $ 要素上での相互に補完的な古典的構造の数が $ k $ に等しいのは、$ d $ 次の $ k-2 $ 個の相互に直交するラテン方陣（MOLS）が存在するときである。
• 素数べき $ d $ の場合、$ \mathbf{Rel} $ には $ d+1 $ 個の相互に補完的な古典的構造が存在し、これは $ \mathbb{C}^{d^2} $ における MUB の最大数と一致する。
• $ \mathbf{Rel} $ における MUB の分類は、ラテン方陣の組合せ論に完全に依存しており、分割のブロックにおけるアーベル群構造には依存しない。
• $ d = 6 $ の結果は、量子情報における未解決問題の圏的アナロジーを提供する：次元 6 の量子系では、まだ 3 つの MUB のみが知られており、最大性の証明は存在しない。
• MUB と MOLS の対応関係から、$ d^2 $ 要素上に $ k $ 個の MUB が存在することは、$ \mathbb{C}^{d^2} $ に $ k $ 個の MUB が存在することを示唆するが、逆は未確立である。