[論文レビュー] On the family of Wigner functions for N-level quantum system

A. Khvedelidze, Vahagn Abgaryan|arXiv (Cornell University)|Aug 20, 2017

Quantum Mechanics and Applications被引用数 3

ひとこと要約

本稿では、ストラトニヴィッチ＝ワイル対応を用いて、N次元量子系に対するユニタリ非同値なウィグナー擬確率分布を構成する一般化された手法を提案する。ストラトニヴィッチ＝ワイル核の代数的「マスタ一方程式」を導出し、ウィグナー関数がN−2個の実数パラメータに依存することを示した。これにより、複素フラッグ多様体上での核の退化構造にインデックスが付いた位相空間表現の族が得られ、キュービットおよびキュートリットの明示的構成が行われる。

ABSTRACT

The family of unitary non-equivalent Weyl-Stratonovich kernels determining the Wigner probability distribution function of an arbitrary N-level quantum system is constructed.

研究の動機と目的

• 有限次元量子系におけるウィグナー擬確率分布の非一意性を解消すること。
• 任意のN次元系に対してストラトニヴィッチ＝ワイル対応を用いたウィグナー関数を構成する一般枠組みを確立すること。
• ストラトニヴィッチ＝ワイル核の代数的構造を分析し、それがN−2個の実数パラメータに依存することを明らかにすること。
• キュービット（N=2）およびキュートリット（N=3）に対する明示的構成を通じて、手法の有効性を示すこと。
• フラッグ多様体からの縮約によって、既知のSU(2)対称スピン-jウィグナー関数へと一般形式を接続すること。

提案手法

• N次元系におけるストラトニヴィッチ＝ワイル演算子核Δ(Ω_N|ν)を支配する代数的「マスタ一方程式」を導出する。
• 核の固有値の退化構造を特定し、これにより同相群Hとそれに対応する複素フラッグ多様体Ω_N = U(N)/Hが定まる。
• N−2個の実数パラメータν = (ν₁,…,ν_{N−2})を用いてウィグナー関数の族をパラメータ化し、ユニタリ非同値表現が得られることを示す。
• W^{(ν)}_ρ(ϑ) = tr[ρ Δ(Ω_N|ν)]としてウィグナー関数を構成し、Δはユニタリ変換と固有値の対角行列を用いて表現される。
• SU(N)のオイラー分解を用いて、核を角度および随伴表現の形で表現する。特にSU(3)に対して詳細に分析する。
• 一般フラッグ多様体の構成を2次元部分多様体に縮約することで、標準的なスピン1/2およびスピン1ウィグナー関数が回復されることを示す。

実験結果

リサーチクエスチョン

• RQ1 N次元量子系に対して、ユニタリ非同値なウィグナー関数の族を体系的に構成する方法は何か？
• RQ2 ストラトニヴィッチ＝ワイル核を定義する代数的制約は何か？ その解空間はウィグナー写像の曖昧性をどのように符号化するか？
• RQ3 核の固有値の退化構造は、位相空間多様体の幾何にどのように関与するか？
• RQ4 スピン1/2およびスピン1系の標準的ウィグナー関数は、この一般枠組みの特別な場合として得られるか？
• RQ5 N−2個の実数パラメータνが、異なる物理的非同値なウィグナー表現をラベルづける役割を果たす仕組みは何か？

主な発見

• ストラトニヴィッチ＝ワイル核Δ(Ω_N|ν)は、N−2個の実数パラメータν₁,…,ν_{N−2}でパrameter化される解空間を持つ代数的方程式を満たす。
• 核の固有値の退化構造は、H = U(k(π₁)) × ⋯ × U(k(π_r))である同相群Hを定め、複素フラッグ多様体Ω_N = U(N)/Hを定義する。ここで、分割(d₁,…,d_r)はNに合計する。
• N=2（キュービット）の場合、2次元球面上に標準的ウィグナー関数が再現され、核はユニタリ同値性を除き一意に定まる。
• N=3（キュートリット）の場合、SU(3)随伴表現を用いてウィグナー関数の全族が構成され、Euler角を用いた8次元ベクトルn^(8)の明示的表現が得られる。
• スピン1/2およびスピン1系の縮約されたウィグナー関数は、フラッグ多様体を2次元部分多様体に制限することで回復され、既知のSU(2)対称構成と整合的であることが確認される。
• 密度演算子と位相空間関数の完全な対応関係が、W^{(ν)}_ρ(ϑ) = tr[ρ Δ(Ω_N|ν)]というトレース式により確立され、異なるνに対してΔ(Ω_N|ν)はユニタリ非同値となる。