[論文レビュー] Geometric and algebraic origins of additive uncertainty relations

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

Quantum Mechanics and Applications被引用数 1

ひとこと要約

本稿では、2つの量子観測量の分散和に対する状態に依存しない、半解析的でタイトな不確定性関係を導出するための幾何学的・代数的枠組みを提示する。演算子の共同数値範囲を活用し、分散の最小化を多項式の根を求める問題に定式化することで、低次元系において正確に成立する、誤差が有界なタイトな境界を導出する。特に、任意の総角運動量量子数 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-組の集合として定義する。
• 分散和の最小化問題を、Rᵏ 内の凸集合である JNR 上での制約付き最適化問題に還元する。
• 代数幾何学と多項式の根の探索を用いて、JNR の境界から導かれる一変数多項式の最小根として、最小分散和を特定する。
• 量子ビット系と角運動量演算子にこの手法を適用し、明示的な多項式を導出し、その根が正確な境界を与えることを示す。
• j = 1, 2, 3, 4, 5, 7 に対して既知の数値結果を再現・拡張し、解析的表現を提示することで、手法の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 状態に依存しない分散和の不確定性関係を、任意の緊密さを実現可能な半解析的で誤差が有界な方法で導出可能か？
• RQ2 2つの観測量の共同数値範囲の幾何学的構造は何か？ そして、それが最小分散和にどのように制約を加えるか？
• RQ3 任意の j に対して、角運動量成分の最小分散和の正確な解析的境界を導出可能か？
• RQ4 最小分散和は、共同数値範囲から導かれる一変数多項式の根としてどのように計算可能か？
• RQ5 異なる j 値に対して、最小分散境界を定義する多項式にどのような代数的パターンが現れるか？

主な発見

• j = 1, 2, 3, 4, 5, 7 に対して、JX と JY の最小分散和が解析的に導出され、次数 1 から 13 の多項式の根として正確な境界が与えられる。
• 量子ビット系では、最小分散和が二次多項式の根を含む閉形式で与えられる：C = ½(a² + |b|² + 1 − √[(a² + |b|² + 1)² − 4|b|²])。
• 本手法により、従来の数値近似よりもタイトな境界が得られ、誤差が有界で、かつ証明可能な状態に依存しない性質を有する。
• j > 4 の場合、最小分散境界を定義する多項式は明確なパターンを示し、OEIS では列挙番号 A243099 として認識されている。
• 量子ビットの観測量 X, Y, および X² + Y² の共同数値範囲は平面の楕円であり、分散の最小値はその境界上に位置する。
• 本手法は任意の有限次元系に一般化可能であり、観測量の共同数値範囲から導かれる多項式の根を用いた、体系的かつアルゴリズム的な方法でタイトな不確定性境界を生成可能である。