[论文解读] The Mutually Unbiased Bases Revisited

M. Combescure|arXiv (Cornell University)|May 10, 2006

Quantum Computing Algorithms and Architecture被引用 4

一句话总结

本文利用施溫格（Schwinger）提出的初等酉矩阵，结合单位根的范德蒙德矩阵，重新探討量子信息中互为 unbiased 的基（MUBs）的构造。證明了在任意維度 d 中存在 3 個 MUBs，並提供了當 d 為偶數或奇數時存在超過 3 個 MUBs 的條件；對於質數 d，恢復了已知的 d+1 個 MUBs 結果，同時從 MUB 結構推導出高斯和恆等式。

ABSTRACT

The study of Mutually Unbiased Bases continues to be developed vigorously, and presents several challenges in the Quantum Information Theory. Two orthonormal bases in $\mathbb C^d, B {and} B'$ are said mutually unbiased if $\forall b\in B, b'\in B'$ the scalar product $b\cdot b'$ has modulus $d^{-1/2}$. In particular this property has been introduced in order to allow an optimization of the measurement-driven quantum evolution process of any state $ψ\in \mathbb C^d$ when measured in the mutually unbiased bases $B\_{j} {of} \mathbb C^d$. At present it is an open problem to find the maximal umber of mutually Unbiased Bases when $d$ is not a power of a prime number. oindent In this article, we revisit the problem of finding Mutually Unbiased Bases (MUB's) in any dimension $d$. The method is very elementary, using the simple unitary matrices introduced by Schwinger in 1960, together with their diagonalizations. The Vandermonde matrix based on the $d$-th roots of unity plays a major role. This allows us to show the existence of a set of 3 MUB's in any dimension, to give conditions for existence of more than 3 MUB's for $d$ even or odd number, and to recover the known result of existence of $d+1$ MUB's for $d$ a prime number. Furthermore the construction of these MUB's is very explicit. As a by-product, we recover results about Gauss Sums, known in number theory, but which have apparently not been previously derived from MUB properties.

研究动机与目标

• 提供一種在任意維度 d 中構造互為 unbiased 的基（MUBs）的初等、構造性方法，避免使用高階數論。
• 確立在任何維度 d 中至少存在 3 個 MUBs，不論 d 為質數或合數。
• 推導出在何種條件下可構造超過 3 個 MUBs，特別是針對偶數與奇數 d。
• 從 MUB 構造中恢復已知的高斯和恆等式，連結量子資訊與數論。
• 提供利用施溫格矩陣對角化方法的明確、演算法式 MUB 構造。

提出的方法

• 使用施溫格的酉矩陣 U（對角矩陣，其元素為 d 次單位根）與 V（循環移位矩陣），定義 V_k = V U^k，其中 k = 0, ..., d-1。
• 採用範德蒙德矩陣 P_0，其元素為 (P_0)_{j,k} = d^{-1/2} q^{jk}，其中 q = exp(2πi/d)，此矩陣透過共軛作用對 U 進行對角化。
• 應用 V_k 矩陣的對角化，產生單位矩陣 P_k，使其彼此間互為 unbiased。
• 對於合數維度 d = 4m（m 為奇數），透過 4×4 與 m×m MUB 結構的張量積構造 MUBs。
• 利用性質：若 V_k = P_k D_k P_k^*，則所有 P_k 為 unbiased 矩陣，且當 j ≠ k 時，P_j^* P_k 為 unbiased。
• 從 MUB 的單位性與偏移條件，推導出高斯和恆等式，例如 |∑_{j=0}^{d-1} q^{k j(j+1)/2}| = √d，適用於奇數 d 且 gcd(k,d)=1。

实验结果

研究问题

• RQ1 能否在不依賴有限域理論或高斯和的情況下，實現 MUBs 的簡單、初等構造？
• RQ2 在任何維度 d 中，可保證存在的 MUBs 最小數量為何？
• RQ3 在 d 為偶數、奇數、質數或合數等條件下，何時可構造超過 3 個 MUBs？
• RQ4 能否直接從 MUB 性質推導出已知的數論恆等式（如高斯和）？
• RQ5 是否可能在非質數次冪維度（如 d=6、12、20）中構造明確的 MUBs？

主要发现

• 本文證明了在任意維度 d 中，不論 d 為質數或合數，至少存在 3 個相互 unbiased 的基。
• 當 d 為質數時，此構造恢復了已知的 d+1 個 MUBs 的最大集合。
• 在 d=6 維度下，該方法構造出 3 個 MUBs，支持 N(6)=3 為最大值的猜想。
• 在 d=12 時，透過 4×4 與 3×3 MUB 結構的張量積，構造出 4 個 MUBs。
• 在 d=20 時，透過 4×4 與 5×5 MUB 構造的張量積，該方法產生 5 個 MUBs。
• 本文直接從 MUB 的單位性與偏移條件，推導出高斯和恆等式 |∑_{j=0}^{d-1} q^{k j(j+1)/2}| = √d，適用於奇數 d 且 gcd(k,d)=1。