$\boldsymbol{\rm C}^4$ 中的相位检索恰好需要十一个测量值

中文摘要 AI 辅助

确定 $\boldsymbol{\rm C}^4$ 中相位检索所需的最小强度测量数是一个长期存在的开放问题。在本研究之前，最知名的结果表明该最小值为 10 或 11。本文中，我们利用微分拓扑中的特征类和上同调群证明，$\boldsymbol{\rm C}^4$ 中不存在具有相位检索性质的 10 个向量族。将此下界与 Vinzant 的显式 11 向量构造相结合，确定精确最小值为 11。我们的结果对纯态量子层析成像具有重要意义，即 $\boldsymbol{\rm C}^4$ 上的秩一 POVM（正算子值测度）恰好需要 11 个元素才能对纯态实现信息完备性。这进一步意味着三个正交基不足以唯一区分 $\boldsymbol{\rm C}^4$ 中的所有纯态，而已知四个正交基已足够，因此我们得出结论：恰好需要四个基，从而完全解决了[C. Carmeli, T. Heinosaari, J. Schultz, A. Toigo, Eur. Phys. J. D]中遗留的问题。

英文摘要

Determining the minimal number of intensity measurements required for phase retrieval in $\mathbb{C}^4$ has been a long-standing open problem. Prior to this work, the best-known results implied that this minimum was either $10$ or $11$. In this paper, we leverage characteristic classes and cohomology groups from differential topology to prove that no family of $10$ vectors in $\mathbb{C}^4$ possesses the phase retrieval property. Combining our lower bound with Vinzant's explicit eleven-vector construction establishes that the exact minimum is $11$. Our result yields a significant consequence for pure state quantum tomography, namely, a rank-one POVM on $\mathbb{C}^4$ requires exactly $11$ elements to be informationally complete for pure states. This further implies that three orthonormal bases are insufficient to uniquely distinguish all pure states in $\mathbb{C}^4$. Because four orthonormal bases are already known to be sufficient, we conclude that exactly four bases are required, thereby completely resolving the problem left in [C. Carmeli, T. Heinosaari, J. Schultz, A. Toigo, Eur. Phys. J. D].

发表机构

• School of Mathematical Sciences, Beihang University（北京航空航天大学数学科学学院）
• Independent Researcher（独立研究者）

机构由 AI 辅助整理，请以论文原文为准。