[论文解读] The inverse eigenvalue problem for quantum channels

Michael M. Wolf, David Pérez García|arXiv (Cornell University)|May 25, 2010

Quantum chaos and dynamical systems参考文献 18被引用 14

一句话总结

本文通过表征完全正、迹保持映射的谱，解决了量子通道的逆特征值问题，尤其为量子比特通道（d=4）提供了完整解法。研究发现，量子通道的非零谱与随机矩阵的谱极为相似，并推导出对特征值（特别是模为1的周界谱）的约束条件，从而为判断给定的时间序列或关联函数是否可由指定维度的量子通道生成提供了工具。

ABSTRACT

Given a list of n complex numbers, when can it be the spectrum of a quantum channel, i.e., a completely positive trace preserving map? We provide an explicit solution for the n=4 case and show that in general the characterization of the non-zero part of the spectrum can essentially be given in terms of its classical counterpart - the non-zero spectrum of a stochastic matrix. A detailed comparison between the classical and quantum case is given. We discuss applications of our findings in the analysis of time-series and correlation functions and provide a general characterization of the peripheral spectrum, i.e., the set of eigenvalues of modulus one. We show that while the peripheral eigen-system has the same structure for all Schwarz maps, the constraints imposed on the rest of the spectrum change immediately if one departs from complete positivity.

研究动机与目标

• 确定哪些复数列表可作为量子通道（即完全正、迹保持映射）的谱。
• 为量子信息中的基础情形——量子比特通道（d=4）提供谱的完整表征。
• 阐明量子通道谱特性与其经典对应物——随机矩阵——之间的关系，尤其关注非零谱部分。
• 分析周界谱（模为1的特征值）及其在完全正性下的结构约束。
• 实现对给定时间序列或关联函数是否可由指定维度的量子通道生成的识别。

提出的方法

• 使用量子通道的矩阵表示法，即作用于密度算符空间的 $d^2 \times d^2$ 矩阵。
• 应用完全正性和迹保持性的概念，推导出对特征值的必要且充分条件。
• 通过相似变换将一般正映射与迹保持映射关联，利用谱半径对谱进行缩放。
• 利用z变换与Cayley-Hamilton定理，将时间序列与变换的极点联系起来，而极点对应于特征值。
• 比较量子通道与随机矩阵的谱结构，发现在非零谱部分存在密切类比。
• 通过模为1的特征向量与特征值的结构分析周界谱，表明该系统在Schwarz映射中具有统一的结构。

实验结果

研究问题

• RQ1 哪些复数列表可作为量子通道的谱，特别是针对量子比特系统？
• RQ2 量子通道的非零谱如何与经典随机矩阵的谱相关联？
• RQ3 完全正性对周界谱（模为1的特征值）施加了何种约束？
• RQ4 给定的时间序列是否可由特定维度的量子通道生成，以及如何从谱数据中判断？
• RQ5 完全正性在区分量子通道与仅正映射的谱约束中起何种作用？

主要发现

• 对于量子比特通道（d=4），本文提供了可能谱集合的完整显式表征，包括对特征值的必要与充分条件。
• 量子通道的非零谱部分在约束方式上与随机矩阵的非零谱基本一致，建立了强的类经典-量子类比。
• 周界谱（模为1的特征值）在所有Schwarz映射中具有统一结构，且该结构在完全正性下得以保持。
• 时间序列 $a_t = \langle A | \hat{T}^t | \rho \rangle$ 可由量子通道生成，当且仅当其z变换的极点位于集合 $\mathcal{T}$ 内，而 $\mathcal{T}$ 表征了给定通道维度下的有效特征值。
• 以 $a_t = \text{Im}[(1-i)^t x^t]/\sqrt{2} + y^t$ 为例，表明该序列虽可由正迹保持映射生成，但仅当 $|x| \leq 1/\sqrt{2}$ 且 $|y| \leq 1$ 时才可由量子通道生成，体现了完全正性带来的更严格约束。
• 正映射的谱半径为1，对于迹保持映射，1始终是特征值；完全正性进一步限制了其他特征值的位置与重数。