[论文解读] Mutually Unbiased Bases and Orthogonal Decompositions of Lie Algebras

P. Oscar Boykin, Meera Sitharam+2 more|ArXiv.org|Jun 10, 2005

Coding theory and cryptography参考文献 13被引用 11

一句话总结

本文建立了量子信息中互为 unbiased 的基（MUBs）与特殊线性李代数 $\mathfrak{sl}_n(\mathbb{C})$ 的正交分解（ODs）之间直接的对应关系。它表明，在维度 $n$ 下，$n+1$ 个 MUB 的完整集合对应于 $\mathfrak{sl}_n(\mathbb{C})$ 的一个 $\dagger$-闭合、不可约的正交分解，并证明此类正交分解——因此也包括完整的 MUB 集合——仅在素数幂维度下存在，且当 $n \leq 5$ 时在酉共轭下唯一。这一联系为分析 MUB 的存在性与结构提供了新的李理论工具。

ABSTRACT

We establish a connection between the problem of constructing maximal collections of mutually unbiased bases (MUBs) and an open problem in the theory of Lie algebras. More precisely, we show that a collection of m MUBs in K^n gives rise to a collection of m Cartan subalgebras of the special linear Lie algebra sl_n(K) that are pairwise orthogonal with respect to the Killing form, where K=R or K=C. In particular, a complete collection of MUBs in C^n gives rise to a so-called orthogonal decomposition (OD) of sl_n(C). The converse holds if the Cartan subalgebras in the OD are also *-closed, i.e., closed under the adjoint operation. In this case, the Cartan subalgebras have unitary bases, and the above correspondence becomes equivalent to a result relating collections of MUBs to collections of maximal commuting classes of unitary error bases, i.e., orthogonal unitary matrices. It is a longstanding conjecture that ODs of sl_n(C) can only exist if n is a prime power. This corroborates further the general belief that a complete collection of MUBs can only exist in prime power dimensions. The connection to ODs of sl_n(C) potentially allows the application of known results on (partial) ODs of sl_n(C) to MUBs.

研究动机与目标

• 建立量子力学中互为 unbiased 的基（MUBs）与复特殊线性李代数的正交分解（ODs）之间的数学桥梁。
• 证明在 $\mathbb{C}^n$ 中，$n+1$ 个 MUB 的完整集合对应于 $\mathfrak{sl}_n(\mathbb{C})$ 的一个 $\dagger$-闭合、不可约的正交分解。
• 利用已知的李代数正交分解结果，推导关于 MUB 的新约束和结构洞察，特别是针对小维度和非素数幂维度的情况。
• 通过李代数框架研究对称性、单项性与良好性在 MUB 构造中的作用。

提出的方法

• 利用基灵形式，从 $\mathbb{K}^n$ 中的正交基构造 $\mathfrak{sl}_n(\mathbb{K})$ 的 Cartan 子代数，以确保正交性。
• 证明 $\mathbb{C}^n$ 中 $\mu$ 个相互 unbiased 的基诱导出 $\mathfrak{sl}_n(\mathbb{C})$ 中 $\mu$ 个两两正交的 Cartan 子代数。
• 建立 $\dagger$-闭合的 Cartan 子代数与酉误差基之间的对应关系，从而对应于酉矩阵的最大交换类。
• 利用 $\mathfrak{sl}_n(\mathbb{C})$ 的不可约正交分解的已知分类，推导出关于 MUB 的结构约束，特别是它们仅在素数幂维度下存在。
• 应用李理论中的结果——特别是不可约和单项正交分解的分类——推导 MUB 集合的唯一性与对称性特征。
• 将正交分解上的自同构群作用转化为 MUB 集合的对称性，表明不可约性意味着在 $\mathrm{Aut}(\mathfrak{sl}_n(\mathbb{C}))$-共轭下具有高度对称性与唯一性。

实验结果

研究问题

• RQ1 完整集合的 $n+1$ 个相互 unbiased 基的存在是否意味着 $\mathfrak{sl}_n(\mathbb{C})$ 存在一个 $\dagger$-闭合、不可约的正交分解？
• RQ2 能否利用正交分解仅在素数幂维度下存在的猜想，来约束完整 MUB 集合的存在性？
• RQ3 对于小维度 $n \leq 5$，完整的 MUB 集合是否在酉共轭下唯一，且是否对应于通过良好误差基的标准构造？
• RQ4 完整 MUB 集合的单项性是否意味着其底层酉误差基的‘良好性’，反之亦然？
• RQ5 每个极大交换类或 Cartan 子代数的部分集合是否总能扩展为完整的单项酉误差基？

主要发现

• 对于维度 $n \leq 5$，$n+1$ 个相互 unbiased 基的完整集合存在，且在 $U_n(\mathbb{C})$-共轭下唯一，对应于通过良好误差基的标准构造。
• 仅当 $n$ 为素数幂时，$\mathfrak{sl}_n(\mathbb{C})$ 才存在正交分解（OD），这支持了长期存在的猜想：完整 MUB 集合仅存在于素数幂维度。
• 仅当 $n$ 为素数幂时，$\mathfrak{sl}_n(\mathbb{C})$ 才存在不可约正交分解，且本质上唯一，其中标准单项 OD 是唯一的此类例子（$n=27$ 除外）。
• $\dagger$-闭合正交分解与完整 MUB 集合之间的对应关系等价于通过划分良好酉误差基的已知构造，将量子信息与李代数结构联系起来。
• 对于 $n=6$，关于单项矩阵的已知结果将从最大交换类中获得的 MUB 数量限制在最多三个，与该维度下完整 MUB 集合不存在一致。
• 不可约正交分解的自同构群在 $\mathfrak{sl}_n(\mathbb{C})$ 上作用不可约，意味着此类 MUB 集合具有较大的对称群。