[论文解读] Construction of all general symmetric informationally complete measurements

Amir Kalev, Gilad Gour|arXiv (Cornell University)|May 28, 2013

Numerical methods in inverse problems参考文献 1被引用 18

一句话总结

本文构建了所有广义对称信息完备正算子值测度（SIC POVM）的完整族，证明了任意实向量空间 $\mathbb{R}^{d^2-1}$ 的任一标准正交基均对应唯一一个广义 SIC POVM。关键贡献在于证明了在所有有限维空间中均存在广义 SIC POVM，其秩由连续参数 $a = \mathrm{Tr}(P_\alpha^2)$ 控制，该参数取值范围从满秩（$a \to 1/d^3$）到近乎秩-1（$a \to 1/d^2$），包括弱 SIC POVM，后者对量子态的扰动最小。

ABSTRACT

We construct the set of all general (i.e. not necessarily rank 1) symmetric informationally complete (SIC) positive operator valued measures (POVMs). In particular, we show that any orthonormal basis of a real vector space of dimension d^2-1 corresponds to some general SIC POVM and vice versa. Our constructed set of all general SIC-POVMs contains weak SIC-POVMs for which each POVM element can be made arbitrarily close to a multiple times the identity. On the other hand, it remains open if for all finite dimensions our constructed family contains a rank 1 SIC-POVM.

研究动机与目标

• 在任意有限维空间 $d$ 中，构建所有广义（非秩-1）对称信息完备 POVM 的完整集合。
• 解决广义 SIC POVM 是否在所有有限维空间中均存在的开放性问题。
• 通过连续参数 $a = \mathrm{Tr}(P_\alpha^2)$ 全面表征 SIC POVM 的家族，该参数决定 POVM 的秩与扰动程度。
• 证明弱 SIC POVM 存在——即其元素接近 $\frac{1}{d^2}I$，从而最小化对量子态的扰动。

提出的方法

• 利用作用于迹为零的厄米特空间 $\mathrm{T}_d$（维度为 $d^2 - 1$）的标准正交基 $\{F_\alpha\}$ 上的实正交矩阵 $A$，对所有广义 SIC POVM 进行参数化。
• 将 SIC POVM 元素构造为 $P_\alpha = \frac{1}{d^3}I + t \sum_{\beta=1}^{d^2-1} A_{\alpha\beta} R_\beta$，其中 $R_\beta$ 是 $\mathrm{T}_d$ 的标准正交基，构成迹为零的厄米特算符。
• 利用希尔伯特-施密特内积强制对称性：$\mathrm{Tr}(P_\alpha P_\beta) = b$（当 $\alpha \neq \beta$ 时），且对所有 $\alpha$ 有 $\mathrm{Tr}(P_\alpha^2) = a$，其中 $a$ 与 $b$ 满足关系式 $b = \frac{1 - da}{d(d^2 - 1)}$。
• 通过迹约束与基 $\{F_\alpha\}$ 的正交性，证明 $P_\alpha$ 算符的线性无关性，确保其构成有效的 POVM。
• 证明 $\mathbb{R}^{d^2 - 1}$ 的任一标准正交基均对应唯一一个广义 SIC POVM，建立一一对应关系。
• 证明参数 $a$ 从 $1/d^3$（满秩）连续变化至 $1/d^2$（近乎秩-1），且当 $a = 1/d^2$ 时，若存在秩-1 SIC POVM，则对应于该情形。

实验结果

研究问题

• RQ1 在所有有限维空间 $d$ 中，广义 SIC POVM 的完整族是否存在？
• RQ2 所有广义 SIC POVM 是否均可由维度为 $d^2 - 1$ 的实向量空间的标准正交基参数化？
• RQ3 参数 $a = \mathrm{Tr}(P_\alpha^2)$ 在决定 SIC POVM 的秩与扰动程度方面起什么作用？
• RQ4 弱 SIC POVM 是否对所有 $d$ 均存在——即其元素可任意接近 $\frac{1}{d^2}I$，并可显式构造？
• RQ5 在所有维度中均存在秩-1 SIC POVM 是否等价于在所构造族中 $a = 1/d^2$ 可达？

主要发现

• 所有维度为 $d$ 的广义 SIC POVM 与维度为 $d^2 - 1$ 的实向量空间的标准正交基之间存在一一对应关系，实现了完整的分类。
• 参数 $a = \mathrm{Tr}(P_\alpha^2)$ 完全表征了广义 SIC POVM 的类型，其中 $a \in (1/d^3, 1/d^2]$，且当 $a = 1/d^2$ 时对应于秩-1 SIC POVM。
• 弱 SIC POVM 存在——即所有元素可任意接近 $\frac{1}{d^2}I$，从而最小化对被测态的扰动。
• 该构造证明了广义 SIC POVM 在所有有限维空间中均存在，解决了其存在性这一开放性问题。
• 广义 SIC POVM 家族在参数 $a$ 上是连续的，因此若存在某个 $a_0 > 1/d^3$，则所有 $a \in (1/d^3, a_0]$ 均可达。
• 最大值 $a_{\max} = 1/d^2$ 可达当且仅当在维度 $d$ 中存在秩-1 SIC POVM，而该问题目前仍是开放问题。