[论文解读] SU(2) nonstandard bases: the case of mutually unbiased bases

Olivier Albouy, M. Kibler|arXiv (Cornell University)|Jan 30, 2007

Advanced Topics in Algebra参考文献 64被引用 5

一句话总结

该论文通过在 su(2) 的泛包络代数中引入一个双参数算子 $v_{ra}$，为 SU(2) 的不可约表示构造了一种非标准基，取代了标准的 $\{j^2, j_z\}$ 基。当 $2j+1$ 为素数时，$\{j^2, v_{ra}\}$ 的本征态构成一组完整的互为 unbiased 的基（MUBs），从而通过截断的形变谐振子和广义高斯和，实现了 MUBs 的群论构造。

ABSTRACT

This paper deals with bases in a finite-dimensional Hilbert space. Such a space can be realized as a subspace of the representation space of SU(2) corresponding to an irreducible representation of SU(2). The representation theory of SU(2) is reconsidered via the use of two truncated deformed oscillators. This leads to replace the familiar scheme {j^2, j_z} by a scheme {j^2, v(ra)}, where the two-parameter operator v(ra) is defined in the enveloping algebra of the Lie algebra su(2). The eigenvectors of the commuting set of operators {j^2, v(ra)} are adapted to a tower of chains SO(3) > C(2j+1), 2j integer, where C(2j+1) is the cyclic group of order 2j+1. In the case where 2j+1 is prime, the corresponding eigenvectors generate a complete set of mutually unbiased bases. Some useful relations on generalized quadratic Gauss sums are exposed in three appendices.

研究动机与目标

• 通过在 su(2) 的泛包络代数中引入新算子 $v_{ra}$，为有限维 SU(2) 表示构造一种非标准基。
• 用 $\{j^2, v_{ra}\}$ 取代标准的 $\{j^2, j_z\}$ 基，从而实现新的对称性自适应基结构。
• 建立 $\{j^2, v_{ra}\}$ 的本征态与素数维希尔伯特空间中互为 unbiased 的基（MUBs）之间的联系。
• 作为构造的副产品，推导并分析涉及广义二次高斯和的关系式。
• 提供一个基于群论和代数的框架，利用 SU(2) 表示理论和循环子群 $C_{2j+1}$ 构造 MUBs。

提出的方法

• 将算子 $v_{ra}$ 定义为 su(2) 的泛包络代数中的双参数元素，其构造基于截断的形变谐振子。
• 利用 su(2) 的极分解定义算子 $v_{ra}$，该算子与 $j^2$ 交换，并通过共同本征态生成新基。
• 构造 $\{j^2, v_{ra}\}$ 的本征态，使其在链 $\text{SO}_3 \supset C_{2j+1}$ 下变换，其中 $C_{2j+1}$ 是阶为 $2j+1$ 的循环群。
• 证明当 $2j+1$ 为素数时，所得基向量在维数为 $2j+1$ 的希尔伯特空间中构成一组完整的互为 unbiased 的基（MUBs）。
• 利用模 $2j+1$ 的剩余类中的平移对称性，推导矩阵元和高斯和的不变性性质。
• 利用模算术和索引平移下的相位不变性，推导广义二次高斯和 $S(u,v,w)$ 的恒等式，建立关键的数论关系。

实验结果

研究问题

• RQ1 能否在 su(2) 的泛包络代数中通过新算子 $v_{ra}$ 构造 SU(2) 不可约表示的非标准基？
• RQ2 在何种条件下，$\{j^2, v_{ra}\}$ 基在有限维希尔伯特空间中生成一组完整的互为 unbiased 的基（MUBs）？
• RQ3 广义二次高斯和如何自然地出现在 SU(2) 表示和 MUB 构造的语境中？
• RQ4 哪些代数和数论恒等式控制着 $\{j^2, v_{ra}\}$ 基中态之间的重叠？
• RQ5 能否将 $\{j^2, v_{ra}\}$ 基的结构与群链 $\text{SO}_3 \supset C_{2j+1}$ 联系起来，特别是在 $2j+1$ 为素数时？

主要发现

• 在 su(2) 的泛包络代数中定义的算子 $v_{ra}$ 与 $j^2$ 交换，从而允许构造新的对易集合 $\{j^2, v_{ra}\}$。
• 当 $2j+1$ 为素数时，$\{j^2, v_{ra}\}$ 的本征态在维数为 $2j+1$ 的希尔伯特空间中构成一组完整的互为 unbiased 的基（MUBs）。
• 矩阵元 $\left|\left\langle j\alpha;ra|j\beta;rb\right\rangle\right|^2$ 均匀分布，每个值均为 $1/(2j+1)$，从而确认了 MUB 性质。
• 模 $2j+1$ 的平移方法确保重叠与 $\beta - \alpha$ 无关，这是证明 MUB 条件的关键。
• 广义二次高斯和 $S(u,v,w)$ 满足恒等式 $S(u,v,w) = q^{(ut^2 + vt)/2} S(u, v + 2ut, w)$，揭示了在索引平移下的相位不变性。
• 当 $w$ 为奇数时，导出恒等式 $S(u, 2n - uw, w) = q^{-(w-1)(w+1)u/8 + (w-1)n/2} S(u, 2n - u, w)$，将高斯和与 MUB 构造联系起来。