[論文レビュー] Circulant matrices, gauss sums and mutually unbiased I. The prime number case

Monique Combescure|ArXiv.org|Oct 30, 2007

graph theory and CDMA systems参考文献 7被引用数 3

ひとこと要約

この論文は、巡回行列と離散フーリエ変換を用いて、素数次元量子系における完全な $d+1$ 個の相互に unbiased な基底 (MUBs) を構成する。ガウス和の性質と二重ユニモジュラー列を活用することで、巡回構造から導かれるユニタリ行列が MUBs を与えることを証明し、奇数次元および偶数次元へ一般化可能な新しい代数的枠組みを確立する。主な副産物として、特定のガウス和の恒等式が得られる。

ABSTRACT

In this paper, we consider the problem of Mutually Unbiased Bases in prime dimension $d$. It is known to provide exactly $d+1$ mutually unbiased bases. We revisit this problem using a class of circulant $d imes d$ matrices. The constructive proof of a set of $d+1$ mutually unbiased bases follows, together with a set of properties of Gauss sums, and of bi-unimodular sequences.

研究の動機と目的

• 素数次元ヒルベルト空間における $d+1$ 個の相互に unbiased な基底 (MUBs) の構成的証明を提供すること。
• 量子情報における巡回行列、ガウス和、および二重ユニモジュラー列の間の関係を確立すること。
• 素数次元および奇数次元における二次ガウス和の新しい恒等式を導出し、証明すること。
• この枠組みを偶数次元へ拡張し、この方法では最大3個の MUBs のみが構成可能であることを示すこと。

提案手法

• 離散フーリエ変換 (DFT) と位相変調された系列から導かれる巡回構造を用いて、ユニタリ ハダマード行列を構成する。
• DFT を用いて $VU^k$ および $V^kU$ を対角化することで、正規直交基底を生成する。
• ユニタリ性と等しい絶対値の成分を保証するため、巡回行列表現 $C = \text{circ}(c_0, \bar{c}_1, \bar{c}_2, \bar{c}_d)$ を適用する。
• 巡回行列がシフト行列 $V$ と可換であることを利用して、DFT による同時対角化を可能にする。
• ガウス和の恒等式を用いて、列 $g^{(k)} = \big(\text{exp}(2\bar{i}\bar{\text{π}}k j(j+1)/2d)\big)_{j=0}^{d-1}$ が二重ユニモジュラーであることを証明する。
• $l$ が $d$ と互いに素である場合に成り立つ重要な恒等式 $\left|\sum_{k=0}^{d-1} \exp\left(\frac{2i\pi}{d}\left[\frac{lk(k+1)}{2}+jk\right]\right)\right| = \sqrt{d}$ を導出する。

実験結果

リサーチクエスチョン

• RQ1 巡回行列とガウス和を用いて、素数次元 $d$ における $d+1$ 個の MUBs を体系的に構成可能か？
• RQ2 巡回行列と DFT のどのような代数的性質が、相互に unbiased な基底の構成に寄与するか？
• RQ3 ガウス和 $\sum_{k=0}^{d-1} \exp\left(\frac{2i\pi}{d}\left[\frac{lk(k+1)}{2}+jk\right]\right)$ は、二重ユニモジュラー列とどのように関係するか？
• RQ4 この方法が偶数次元で3個を超える MUBs を生成できないのはなぜか？また、巡回行列アプローチの限界は何か？
• RQ5 ブロック巡回行列を用いることで、同じ枠組みを素数のべき次元へ拡張可能か？

主な発見

• 論文は、DFT と特定の巡回行列 $R$ を用いて、素数次元 $d$ における $d+1$ 個の相互に unbiased な基底を構成し、その構成の完全性を証明する。
• すべての $j, l \in \mathbb{F}_d$ で $l$ が $d$ と互いに素である場合に、$\left|\sum_{k=0}^{d-1} \exp\left(\frac{2i\pi}{d}\left[\frac{lk(k+1)}{2}+jk\right]\right)\right| = \sqrt{d}$ が成り立つという恒等式を確立した。これはガウス和理論における新しい結果である。
• 素数 $d$ に対して、列 $g^{(k)} = \big(\omega^{k j(j+1)/2}\big)_{j=0}^{d-1}$ が二重ユニモジュラーであることが証明された。つまり、列自体とその DFT が両方とも絶対値が1の成分を持つ。
• 奇数 $d$ に対しては、$k$ を $d$ の最小の素因数とするとき、$k+1$ 個の MUBs が得られ、素数の場合を一般化する。
• 偶数次元では、この方法では最大3個の MUBs のみが得られ、$R^2$ がハダマード行列でないため、このアプローチによるさらなる拡張は制限される。
• 要素 $R_{j,k} = \frac{1}{\sqrt{d}} \omega^{-(j-k)^2/2}$ を持つ巡回行列 $R$ は $VU$ を対角化し、$F^*R$ がユニタリ ハダマード行列であることを保証する。これにより、偶数 $d$ における構成が確認される。