[論文レビュー] Constraints for the spectra of generators of quantum dynamical semigroups

Dariusz Chruściński, Ryohei Fujii+2 more|arXiv (Cornell University)|Jun 15, 2021

Spectral Theory in Mathematical Physics参考文献 29被引用数 13

ひとこと要約

本稿では、複素行列のヒルベルト＝シュミット内積と交換子を含む実数値関数 r(A, B) に対する最適な上界と下界を導出しており、量子力学的ダイナミカルセミ群への応用を含む。主な結果は、行列サイズ n に依存せず、c± = 1 ± √2/2 というタイトな普遍的境界が得られることであり、A がトレースレスの場合には c± = [1 ± √2(1−1/n)]/2 というよりタイトな境界が得られる。これらの境界は、従来の結果よりもオープンな量子系における緩和率をより厳密に制約する。

ABSTRACT

Motivated by a spectral analysis of the generator of completely positive trace-preserving semigroup, we analyze a real functional $$ A,B \in M_n(\mathbb{C}) o r(A,B) = \frac{1}{2}\Bigl(\langle [B,A],BA angle + \langle [B,A^\ast],BA^\ast angle \Bigr) \in \mathbb{R} $$ where $\langle A,B angle := { m tr} (A^\ast B)$ is the Hilbert-Schmidt inner product, and $[A,B]:= AB - BA$ is the commutator. In particular we discuss the upper and lower bounds of the form $c_- \|A\|^2 \|B\|^2 \le r(A,B) \le c_+ \|A\|^2 \|B\|^2$ where $\|A\|$ is the Frobenius norm. We prove that the optimal upper and lower bounds are given by $c_\pm = \frac{1 \pm \sqrt{2}}{2}$. If $A$ is restricted to be traceless, the bounds are further improved to be $c_\pm = \frac{1 \pm \sqrt{2(1-\frac{1}{n})}}{2}$. Interestingly, these upper bounds, especially the latter one, provide new constraints on relaxation rates for the quantum dynamical semigroup tighter than previously known constraints in the literature. A relation with B\"{o}ttcher-Wenzel inequality is also discussed.

研究の動機と目的

• ヒルベルト＝シュミット内積と交換子を用いて定義される実関数 r(A, B) = 1/2(⟨[B, A], BA⟩ + ⟨[B, A∗], BA∗⟩) の鋭い上界と下界を導出すること。
• これらの境界が、量子力学的ダイナミカルセミ群の生成子のスペクトル的性質、特に緩和率との関係に与える影響を調査すること。
• 特に行列 A がトレースレスである条件の下で、これまでに知られていたものよりもタイトな普遍的制約を、オープンな量子系における緩和率に確立すること。
• r関数と交換子ノルムに関するB"ottcher-Wenzelの不等式との関係を明確にすること。
• 等号が成立する行列の具体的構成を用いて、導出された境界の鋭さを証明すること。

提案手法

• ヒルベルト＝シュミット内積 ⟨A, B⟩ = tr(A∗B) と交換子 [A, B] = AB − BA を用いて r関数 r(A, B) を定義する。
• トレースの恒等式と循環的性質を用いて、r(A, B) を複数の同値な形に表現する。特に r(A, B) = 1/2 tr({A, A∗}B∗B) − Re tr(A∗BAB∗) を含む。
• Frobeniusノルム ∥A∥ = √tr(A∗A) を用いて、c−∥A∥2∥B∥2 ≤ r(A, B) ≤ c+∥A∥2∥B∥2 の形で境界を定式化する。
• 一般（非エルミート）行列の解析を可能にするために、A = AR + iAI と実部・虚部に分離するカーテシアン分解を用いる。
• 特異値分解とディラック記法を用いて r(A, A) を明示的に計算し、0 ≤ r(A, A) ≤ 1/2∥A∥4 の境界に至る。
• 基礎的な道具として、Frobeniusノルムに関するB"ottcher-Wenzelの不等式 ∥[A, B]∥2 ≤ 2∥A∥2∥B∥2 を用い、トレース恒等式とノルム不等式を介して r関数と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 Frobeniusノルム ∥A∥ と ∥B∥ に関して、関数 r(A, B) の最適な普遍的上界と下界は何か？
• RQ2 行列 A がトレースレスに制限された場合、これらの境界はどのように変化するか？
• RQ3 GKLS形式に従う量子力学的ダイナミカルセミ群に支配される系において、これらの境界が緩和率に与える影響は何か？
• RQ4 r関数は交換子ノルムに関するB"ottcher-Wenzelの不等式とどのように関係しているか？
• RQ5 導出された境界は達成可能か？ もし可能であれば、等号条件を満たす行列の構成は何か？

主な発見

• r(A, B) の最適な普遍的境界は、行列サイズ n に依存せず、c± = 1 ± √2/2 であり、両境界は鋭い。
• A がトレースレスの場合、最適境界は c± = [1 ± √2(1−1/n)]/2 にタイトに改善され、これは一般の境界よりも厳密にタイトであり、n → ∞ のとき一般の境界に収束する。
• n = 2 の場合、境界は 0 ≤ r(A, B) ≤ ∥A∥2∥B∥2 に簡略化され、両境界が達成可能である。
• 上界 c+ = 1 + √2/2 ≈ 1.2071 は、これまでに知られていたいかなる境界よりも緩和率の制約をタイトにしている。
• 量子力学的ダイナミカルセミ群の緩和率 Γα は、普遍的不等式 Γα ≤ c+(n)/ (n²−1) ∑Γβ を満たし、これは従来の結果よりもタイトである。
• 境界の等号条件は明示的に構成されており、たとえば n=2 の場合、直交する特異ベクトルや R³ 内の正規直交基底を用いた構成が含まれる。