[论文解读] Geometric and algebraic origins of additive uncertainty relations

Konrad M. Szymanski, Karol Życzkowski|arXiv (Cornell University)|Apr 17, 2018

Quantum Mechanics and Applications被引用 1

一句话总结

本论文提出了一套几何与代数框架，用于推导两组量子可观测量方差之和的、与状态无关的半解析不确定性关系。通过利用算符的联合数值范围，并将方差最小化问题转化为多项式求根问题，作者获得了紧致的、有界误差的界，这些界在低维系统中是精确的，包括对任意总量子数 j 的角动量算符的解析结果。

ABSTRACT

Constructive techniques to establish state-independent uncertainty relations for the sum of variances of arbitrary two observables are presented. We investigate the range of simultaneously attainable pairs of variances, which can be applied to a wide variety of problems including finding exact bound for the sum of variances of two components of angular momentum operator for any total angular momentum quantum number $j$ and detection of quantum entanglement. Resulting uncertainty relations are state-independent, semianalytical, bounded-error and can be made arbitrarily tight. The advocated approach, based on the notion of joint numerical range of a number of observables and uncertainty range, allows us to improve earlier numerical works and to derive semianalytical tight bounds for the uncertainty relation for the sum of variances expressed as roots of a polynomial of a single real variable.

研究动机与目标

• 开发一种基于方差之和的、与状态无关的不确定性关系的几何与代数方法。
• 通过提供具有任意紧致度的半解析、有界误差界，改进先前的数值方法。
• 为任意总角动量量子数 j 的角动量算符 JX 和 JY 的方差之和最小值推导出精确的解析表达式。
• 建立一种系统化程序，通过可观测量的联合数值范围导出的多项式根来计算紧致的不确定性界。

提出的方法

• 将方差之和表述为期望值的函数：Δ²X + Δ²Y = ⟨X² + Y²⟩ − ⟨X⟩² − ⟨Y⟩²。
• 将联合数值范围（JNR）W(F₁, F₂, ..., Fₖ) 定义为在混合量子态上所有可能的 k 元组期望值的集合。
• 将方差之和的最小化问题简化为在 JNR 上的约束优化问题，JNR 是 ℝᵏ 中的一个凸集。
• 利用代数几何与多项式求根方法，将最小方差之和确定为从 JNR 边界导出的单变量多项式的最小根。
• 将该方法应用于自旋-1/2 系统与角动量算符，得到显式多项式，其根给出精确界。
• 通过恢复并扩展 j = 1, 2, 3, 4, 5, 7 时已知的数值结果，验证了该方法的有效性，结果以解析表达式呈现。

实验结果

研究问题

• RQ1 是否能够以半解析、有界误差的方式，以任意紧致度推导出方差之和的与状态无关的不确定性关系？
• RQ2 两个可观测量的联合数值范围的几何结构是什么？它如何约束方差之和的最小值？
• RQ3 是否能够为任意 j 的角动量分量方差之和的最小值推导出精确的解析界？
• RQ4 如何通过从 JNR 导出的单变量多项式的根来计算最小方差之和？
• RQ5 在不同 j 值下，定义最小方差界多项式中出现了哪些代数模式？

主要发现

• 对 j = 1, 2, 3, 4, 5, 7 的 JX 和 JY 方差之和，已通过解析方法推导出最小值，精确界表示为次数 1 至 13 的多项式的根。
• 对于自旋-1/2 系统，最小方差之和由一个包含二次多项式根的闭式表达式给出：C = ½(a² + |b|² + 1 − √[(a² + |b|² + 1)² − 4|b|²])。
• 该方法得到的界比先前的数值近似更紧致，且可证明为与状态无关、具有有界误差。
• 对于 j > 4，定义最小方差界的多项式呈现出可辨识的模式，经 OEIS 识别为序列 A243099。
• 对于自旋-1/2 系统，可观测量 X、Y 和 X² + Y² 的联合数值范围是一个平面椭圆，且方差最小值位于其边界上。
• 该方法可推广至任意有限维系统，并通过多项式求根提供一种系统化、算法化的紧致不确定性界生成方式。