[论文解读] On The Generators Of Quantum Stochastic Operator Cocycles

Stephen J. Wills|ArXiv.org|Oct 10, 2005

Quantum Information and Cryptography参考文献 14被引用 6

一句话总结

本文表征了量子随机算子协变的生成元，特别是针对正性、投影及部分等距协变，扩展至非压缩情形。提出了一类对正压缩协变的变换，导出极分解定理：任意具有交换成分冯诺依曼代数的马尔可夫正则压缩协变，可分解为部分等距协变与正协变的乘积。

ABSTRACT

The stochastic generators of Markov-regular operator cocycles on symmetric Fock space are studied in a variety of cases: positive cocycles, projection cocycles, and partially isometric cocycles. Moreover a class of transformations of positive contraction cocycles is exhibited which leads to a polar decomposition result.

研究动机与目标

• 表征马尔可夫正则算子协变的随机生成元，超越标准压缩情形，重点关注正性、投影及部分等距协变。
• 将已知的QSDE生成元表征推广至非压缩类协变。
• 引入正压缩协变的一族单参数变换，以导出极分解结果。
• 在成分冯诺依曼代数满足交换性条件下，建立马尔可夫正则压缩协变分解为部分等距协变与正协变的乘积。

提出的方法

• 使用Hudson-Parthasarathy量子随机微分方程（QSDE）框架，将协变建模为由$ B(\frak{h} \bigotimes \tilde{\frak{k}}) $中算子驱动的解，其中$ \tilde{\frak{k}} = \bbC \bigoplus \frak{k} $。
• 在福克空间上应用时间平移与时间反转算子$ S_t $、$ R_t $，以定义$ E_0 $-半群$ \rho_t $，该半群控制协变演化。
• 施加自适应性条件$ X_t < B(\frak{h} \bigotimes \frak{F}_{[0,t[}) × I_{\frak{F}_{[t,\infty[}} $，以确保福克自适应性。
• 利用代数与谱技术，推导出协变为正性、投影或部分等距的生成元$ F $的必要与充分条件。
• 通过参数$ \lambda \in [0,1] $，对正压缩协变引入变换，导出新协变，其生成元为$ G $与$ E $，满足修正的QSDE。
• 通过证明$ X = U|X| $，其中$ U $为部分等距协变，$ |X| $为正协变，建立极分解，条件为$ \mathcal{M}_X $为交换代数。

实验结果

研究问题

• RQ1 量子随机协变的生成元$ F $需满足何种必要与充分条件，才能使协变为正性或投影值？
• RQ2 如何将已知的生成元表征推广至非压缩协变类，以涵盖正性与部分等距协变？
• RQ3 对正压缩协变的一族单参数变换，是否可导出正协变与部分等距协变的分解？
• RQ4 在何种条件下，马尔可夫正则压缩协变可实现为部分等距协变与正协变的乘积形式的极分解？
• RQ5 此类分解协变的生成元$ F $具有何种结构？其分量$ G $与$ E $如何与$ F $相关联？

主要发现

• 任意马尔可夫正则压缩协变$ X $，若其成分冯诺依曼代数$ \frak{M}_X $为交换代数，则可实现极分解$ X = U|X| $，其中$ U $为部分等距协变，$ |X| $为正压缩协变。
• 在$ \bbC \otimes \frak{F}_+ $上，马尔可夫正则压缩协变的生成元$ F $具有形式$ F = \begin{bmatrix} i\mu - \frac{1}{2}(\nu^2 + \|v\|^2) & \langle \nu(I-D^*D)^{1/2}w - D^*v | \\ |v\rangle & D - I \end{bmatrix} $，其中$ D $为压缩算子。
• 当$ \frak{h} = \bbC $时，生成元$ F $可分解为$ G $（正部分）与$ E $（部分等距部分），其显式表达式由$ D $、$ v $、$ w $、$ \nu $与$ \mu $给出，且$ G $与$ E $满足所需的QSDE。
• 当$ D $为部分等距且$ N = D $时，生成元$ G $与$ E $可显式计算，表明$ G $为正算子，$ E $为压缩算子且满足$ \chi(E) = 0 $，意味着$ U $为等距。
• 变换$ F \mapsto F_\lambda $保持协变结构，并导出满足极分解方程的新生成元对$ (G,E) $，其中$ G $为正算子，$ E $为压缩算子。
• 若在$ \operatorname{Ran}|D|^\perp $上设$ L = 0 $，则系统(4.3)的第三个条件会失效，反例显示当$ D $为左移算子时，有$ K + K^* + M^*M = \nu^2\|P^\perp w\|^2 \neq 0 $，从而破坏部分等距性质。