[论文解读] When is a set of questions to nature together with sharp answers to those questions in one-to-one correspondence with a set of quantum states?

Inge S. Helland|arXiv (Cornell University)|Sep 19, 2019

Quantum Mechanics and Applications参考文献 5被引用 5

一句话总结

本文研究在何种条件下，一组对自然提出且答案明确的问题与量子态一一对应。本文在两种情况下肯定了这种对应关系：(1) 自旋/角动量系统，(2) 在技术假设下的一般对称系统，利用表示理论将e-变量、对称群与通过酉变换制备的量子态联系起来。

ABSTRACT

A general question is posed to the quantum community. Partial results are formulated in a self-contained way. In particular, the title question is answered affirmatorily in two cases: 1) The case of spin/ angular momentum of a partcle; 2) A general symmetry situation under certain technical assumptions.

研究动机与目标

• 确定一组具有明确答案的问题与量子态之间存在双射对应关系的条件。
• 研究量子力学的认识论诠释，其中量子态代表对e-变量（可测量的概念变量）的知识。
• 阐明对称性与群表示在连接物理可观测量与量子态向量中的作用。
• 通过将态制备建立在可观测、可访问的变量基础上，澄清量子基础中的概念模糊性。
• 在自旋与对称系统背景下，为量子理论中的基础问题提供一个自包含的表述。

提出的方法

• 使用希尔伯特空间 H 建模物理系统，其中对称群 K 和 K' 的单位表示由子群 K^i 导出。
• 将 e-变量定义为可测量的概念变量，不可访问变量（如完整自旋矢量）作为 e-变量的函数。
• 通过与 e-变量 θ 相关的算符 A 的本征值分解，构造投影算符 Π_i，并将态向量 |v⟩ 定义为本征向量。
• 应用群表示理论：通过同态与酉算符，从 K^0 的单值表示 U 构造 K' 的多值表示 V。
• 通过酉演化 U(k^0) 作用于基态，构造或正交基 |0;i⟩ 和 |a;i⟩，在不可约性假设下确保非简并性。
• 使用相位不变向量不等式：|a;i⟩ ≠ |0;j⟩，除非 a=b 且 i=j，该不等式通过非平凡群作用下的非不变性证明。

实验结果

研究问题

• RQ1 在何种条件下，一组具有明确答案的问题与量子态之间存在双射对应？
• RQ2 能否在可测量 e-变量及其对称性的结构基础上，形式化地建立量子态的认识论诠释？
• RQ3 群表示理论如何将物理系统的对称性与量子态向量的构造联系起来？
• RQ4 酉表示的不可约性在确保不同问题-答案对所对应量子态的相异性方面起什么作用？
• RQ5 在对称系统中，何时一个群 K' 的多值表示会从子群 K^0 的单值表示中产生？

主要发现

• 对于自旋/角动量系统，问题与量子态之间的对应关系得到肯定：每个 |a;h⟩ 态对应于方向 a 上角动量的确定分量 h。
• 对于一般对称系统，该对应关系在技术假设下成立：K^0 的循环子群的不可约酉表示，以及 K 的多值表示 V。
• 态向量 |a;i⟩ = U((k^0_a)^{-1})|0;i⟩ 构成或正交基，确保在给定假设下与 |0;j⟩ 的酉等价性与相异性。
• 态向量的非简并性得到保证：对所有 a 及所有 i≠j，有 |a;i⟩ ≠ |0;j⟩，这是由于基函数在非平凡群元素作用下不具有不变性。
• 该构造确保 |a;i⟩ ≠ |b;j⟩，除非 a=b 且 i=j，从而证明了问题-答案对与量子态之间的一一对应关系。
• 该证明依赖于如下事实：若 U(k^0)f_i = γf_i 且 γ≠1，则 f_i 将张成一个在循环群作用下不变的子空间，与不可约性矛盾。