[论文解读] Applications of coherent classical communication and the Schur transform to quantum information theory

Isaac L. Chuang|ArXiv.org|Dec 30, 2005

Quantum Information and Cryptography参考文献 159被引用 73

一句话总结

本论文提出了两种基础的量子信息工具：相干经典通信，即通过量子操作传输经典信息的幺正框架；以及一种高效的多项式时间量子电路，用于实现舒尔变换。核心贡献是利用克莱布施-戈尔丹变换，构建了舒尔变换的可构造、高效实现，从而开启了新的量子算法，并将对称群上的量子傅里叶变换与舒尔-外尔对偶性统一起来。

ABSTRACT

Quantum mechanics has led not only to new physical theories, but also a new understanding of information and computation. Quantum information began by yielding new methods for achieving classical tasks such as factoring and key distribution but also suggests a completely new set of quantum problems, such as sending quantum information over quantum channels or efficiently performing particular basis changes on a quantum computer. This thesis contributes two new, purely quantum, tools to quantum information theory--coherent classical communication in the first half and an efficient quantum circuit for the Schur transform in the second half.

研究动机与目标

• 开发一个基于幺正相互作用的量子香农理论形式化框架，统一经典与量子通信任务。
• 引入并形式化相干经典通信的概念，作为量子协议中标准经典通信的幺正替代方案。
• 构建一个多项式时间的量子电路以实现舒尔变换，解决量子信息理论中长期存在的开放问题。
• 建立舒尔变换与对称群 $\mathcal{S}_n$ 上的量子傅里叶变换之间的算法关联。
• 展示舒尔变换如何实现涉及对称群与酉群对称性的量子算法的高效实现。

提出的方法

• 使用资源不等式形式化量子香农理论，将通信任务描述为纠缠与经典通信资源的组合。
• 提出相干经典通信作为一种近似幺正的过程，可替代量子协议中的经典通信，同时保持量子相干性。
• 利用克莱布施-戈尔丹变换构建舒尔变换的量子电路，将张量积空间分解为 $\mathcal{S}_n$ 与 $\mathcal{U}_d$ 的不可约表示。
• 将群代数 $\mathbb{C}[\mathcal{S}_n]$ 嵌入 $(\mathbb{C}^n)^{\otimes n}$ 的 $1^n$ 权空间中，将置换映射为量子态。
• 通过舒尔变换在 $\mathcal{S}_n$ 上执行傅里叶变换，将 $\mathbb{C}[\mathcal{S}_n]$ 映射到 $\bigoplus_{\lambda} \mathcal{P}_\lambda^* \otimes \mathcal{P}_\lambda$，其中 $\mathcal{P}_\lambda$ 为不可约表示。
• 建立 $\mathcal{S}_n$ 表示矩阵与舒尔基之间的同构关系，表明舒尔空间的 GZ 基与不可约表示的 GZ 基在相位意义下一致。

实验结果

研究问题

• RQ1 能否在量子协议中用一种相干的幺正过程替代经典通信，以保持量子相干性并支持新型协议设计？
• RQ2 在量子通信任务中，纠缠与经典通信之间的最优权衡是什么？能否通过相干通信推导出该权衡？
• RQ3 是否存在一种高效的量子电路，可在 $n$ 与 $\log(1/\epsilon)$ 的多项式时间内实现舒尔变换？
• RQ4 如何利用舒尔变换实现对称群 $\mathcal{S}_n$ 上的量子傅里叶变换？
• RQ5 舒尔变换与 $\mathcal{S}_n$ 上的量子傅里叶变换之间的确切关系是什么？它们的表示矩阵如何比较？

主要发现

• 发展了一套新的量子香农理论形式化框架，将所有已知编码定理表达为涉及纠缠与经典通信资源的资源不等式。
• 提出相干经典通信作为经典通信的幺正替代方案，支持新型协议设计，并在统一框架下整合现有协议。
• 利用克莱布施-戈尔丹变换构建了高效的多项式时间量子电路以实现舒尔变换，运行时间达到 $\operatorname{poly}(n, \log 1/\epsilon)$。
• 舒尔变换通过同构 $\mathbb{C}[\mathcal{S}_n] \cong \bigoplus_{\lambda} \mathcal{Q}_\lambda^n(1^n) \otimes \mathcal{P}_\lambda$，将 $\mathbb{C}[\mathcal{S}_n]$ 映射到 $\bigoplus_{\lambda} \mathcal{P}_\lambda^* \otimes \mathcal{P}_\lambda$，从而在 $\mathcal{S}_n$ 上实现傅里叶变换。
• 舒尔变换下 $\mathcal{S}_n$ 的表示矩阵被证明与不可约表示 $\mathcal{P}_\lambda$ 的表示矩阵同构，仅在每个基向量上相差一个任意相位，该相位的完全表征仍是开放问题。