[论文解读] Sharply covariant mutually unbiased bases

Huangjun Zhu|arXiv (Cornell University)|Feb 27, 2015

Molecular Junctions and Nanostructures参考文献 2被引用 6

一句话总结

本文研究了有限維量子系統中 sharply 可 covariance 的互補正交基（MUBs）的存在性，結果顯示，即使考慮反酉對稱性，僅有兩個穩定子 MUBs（在酉等價意義下）是 sharply 可 covariance 的。此結果揭示了 MUBs 與對稱信息完備正算子測量（SICs）之間的根本性不對稱性，因為所有已知的 SICs 均為 sharply 可 covariance。

ABSTRACT

Mutually unbiased bases (MUB) are an elusive discrete structure in Hilbert spaces. Many (complete sets of) MUB are group covariant, but little is known whether they can be sharply covariant in the sense that the generating groups can have order equal to the total number of basis states, that is, $d(d+1)$ for MUB in dimension $d$. Sharply covariant MUB, if they exist, would be most appealing from both theoretical and practical point of view. Since stabilizer MUB subsume almost all MUB that have ever been constructed, it is of fundamental interest to single out those candidates that are sharply covariant. We show that, quite surprisingly, only two stabilizer MUB are sharply covariant, and the conclusion still holds even if antiunitary transformations are taken into account. Our study provides valuable insight on the symmetry of stabilizer MUB, which may have implications for a number of research topics in quantum information and foundations. In addition, it exposes a sharp contrast between MUB and another elusive discrete structure known as symmetric informationally complete measurements (SICs), all known examples of which are sharply covariant.

研究动机与目标

• 確定穩定子互補正交基（MUBs）是否可以是 sharply 可 covariance 的，即由階為 d(d+1) 的酉與反酉算子群生成。
• 解決 sharply 可 covariance MUBs 的理論與實務吸引力，這將允許透過相空間表示中的群元素實現高效構造與自然標記。
• 研究穩定子 MUBs 的對稱結構，特別是與 Clifford 群及海森堡-外爾（HW）位移算子的關係。
• 將 MUBs 與對稱信息完備測量（SICs）進行對比，後者已被證實全部為 sharply 可 covariance，從而突顯其群論性質的根本差異。

提出的方法

• 本文分析了維度 d = q = p^n 時穩定子 MUBs 的對稱群，專注於 Clifford 群及其子群的作用。
• 利用海森堡-外爾群的結構及其最大阿貝爾子群（穩定子基）來表徵 MUBs 為這些子群的共同本徵基。
• 應用群論技術，包括 Sylow p-子群分析與辛群 Sp(2n,p) 中的正規化子結構，特別是在維度 8 的情況下。
• 檢驗候選對稱群在 MUB 基上的作用，利用傳遞性與不可約性條件來排除 sharply 可 covariance 的結構。
• 採用基於跡的特徵和與特徵標多重性分析，研究候選對稱群的不可約表示，特別是酉子群的情況。
• 證明了一個技術性引理：若 Clifford 群的一個子群包含 Zsigmondy 酉算子，且具有兩個相同次數的不可約分量，則它們必為非等價的，此結果對排除某些群結構至關重要。

实验结果

研究问题

• RQ1 是否存在任何穩定子 MUB 是 sharply 可 covariance 的，即由階為 d(d+1) 的酉與反酉算子群生成？
• RQ2 為何僅有兩個穩定子 MUBs 滿足 sharply 可 covariance 條件，儘管在高維中存在大量穩定子 MUBs？
• RQ3 缺乏 sharply 可 covariance MUBs 的結構性原因為何，特別是與已知的 sharply 可 covariance SICs 對比？
• RQ4 穩定子 MUBs 的對稱群，特別是在維度 8 時，如何限制 sharp covariance 的可能性？
• RQ5 Zsigmondy 質數與 Singer 子群在排除 Clifford 群中 sharply 可 covariance 結構方面扮演何種角色？

主要发现

• 無論維度為何或是否包含反酉對稱性，僅有兩個穩定子 MUBs 是 sharply 可 covariance 的（在酉等價意義下）。
• 在維度 8 時，即使存在 960 個穩定子 MUBs 且全部由 Clifford 群相互關聯，亦無任何一個是 sharply 可 covariance 的。
• 維度 8 時每個穩定子 MUB 的對稱群階數為 96768，其對 HW 群的商群階數為 1512，且不包含任何 sharply 可 covariance 結構。
• 分析顯示，任何候選的 sharply 可 covariance 群都需對 MUB 基有傳遞性與不可約性作用，但此條件被 Sylow 3-子群與基於跡的特徵分析所排除。
• 對稱群的 Sylow 3-子群中存在一個非循環的階為 9 的子群，導致作用非傳遞性，與 sharp covariance 矛盾。
• 在所有候選情況下，條件 ∑|tr(U)|² / |H| > |G|/|H| 均不成立，證明不存在此類 sharply 可 covariance 群。