[论文解读] Unextendible mutually unbiased bases in prime-squared dimensions

Vishakh Hegde, Prabha Mandayam|arXiv (Cornell University)|Aug 24, 2015

Algebraic structures and combinatorial models参考文献 3被引用 3

一句话总结

该论文在素数平方维数 $d = p^2$（其中 $p$ 为素数）下，利用广义泡利算符的最大可交换类，构造了 $p+1$ 个相互 unbiased 的基（MUBs）的不可扩展集合。证明了这些集合在香农熵和冲突熵不确定关系中均达到饱和，实现了对量子密码学和高维系统中纠缠检测至关重要的紧致界限。

ABSTRACT

A set of mutually unbiased bases (MUBs) is said to be unextendible if there does not exist another basis that is unbiased with respect to the given set. Here, we prove the existence of smaller sets of MUBs in prime-squared dimensions ($d=p^{2}$) that cannot be extended to a complete set using the generalized Pauli operators. We further observe an interesting connection between the existence of unextendible sets and the tightness of entropic uncertainty relations (EURs) in these dimensions. In particular, we show that our construction of unextendible sets of MUBs naturally leads to sets of $p+1$ MUBs that saturate both a Shannon ($H_{1}$) and a collision ($H_{2}$) entropic lower bound. Such an identification of smaller sets of MUBs satisfying tight EURs is crucial for cryptographic applications as well as constructing optimal entanglement witnesses for higher dimensional systems.

研究动机与目标

• 在 $d = p^2$ 维度下构造不可扩展的相互 unbiased 基（MUBs）集合，且无法通过广义泡利算符进行扩展。
• 建立 $d = p^2$ 维度下 MUB 集不可扩展性与熵不确定关系（EURs）紧致性的联系。
• 识别出大小为 $p+1$ 的 MUB 集，其同时饱和香农熵 ($H_1$) 和冲突熵 ($H_2$) 的熵下界，从而实现最优的量子信息协议。
• 系统性地构建 $d = p^2$ 维度下的弱不可扩展 MUBs，方法基于泡利算符的最大可交换类。

提出的方法

• 在 $\mathbb{C}^{p^2}$ 中，将 MUBs 构造为广义泡利算符最大可交换类的公共本征基。
• 通过无法从 $p+1$ 个现有类中各选取 $p-1$ 个算符形成新的最大可交换类来定义不可扩展性。
• 利用有限域结构 $\mathbb{F}_p$ 参数化基态与算符，实现不可扩展集合的系统化构造。
• 使用单位根 $\omega = e^{2\pi i/p}$ 推导新构造类 $\mathcal{C}_I$ 的公共本征态 $|\psi\rangle\langle\psi|$ 的密度矩阵。
• 通过迹运算计算每个 MUB 的 $H_2$ 和 $H_1$ 熵，利用对称性与迹正交性。
• 证明在 $p+1$ 个基上的平均熵等于 $\log p$，从而证明两种熵界限均达到饱和。

实验结果

研究问题

• RQ1 能否在素数平方维数 $d = p^2$ 下系统化构造不可扩展的 MUB 集？
• RQ2 在 $d = p^2$ 下 MUB 的不可扩展性是否存在意味着熵不确定关系的紧致性？
• RQ3 在 $d = p^2$ 下大小为 $p+1$ 的 MUB 集是否同时饱和香农熵与冲突熵的下界？
• RQ4 此类不可扩展 MUB 是否可用于构造最优纠缠判据，或改进量子密码学协议？

主要发现

• 在 $d = p^2$ 维度下构造的 $p+1$ 个 MUB 集是不可扩展的，即无法通过广义泡利算符构造出与全部 $p+1$ 个基相互 unbiased 的新基。
• 该集合饱和了冲突熵不确定关系 $\frac{1}{p+1}\sum_{i=1}^{p+1}H_2(\mathcal{B}_i|\psi) \geq \log p$，且对特定态 $|\psi\rangle$ 达到等号。
• 该集合同样饱和了香农熵不确定关系 $\frac{1}{p+1}\sum_{i=1}^{p+1}H_1(\mathcal{B}_i|\psi) \geq \log p$，且对同一态 $|\psi\rangle$ 达到等号。
• 新构造类 $\mathcal{C}_I$ 的公共本征态 $|\psi\rangle$ 在所有 $p+1$ 个基上实现了最小可能的平均熵，从而确认了两种界限的紧致性。
• 该构造依赖于从 $p+1$ 个最大可交换类中各选取 $p-1$ 个算符，形成一个新的最大可交换类 $\mathcal{C}_I$。
• 该结果建立了 MUB 不可扩展性与素数平方维数下不确定性关系最优性之间的直接联系。