[论文解读] Decoherence-Insensitive Quantum Communication by Optimal C^*-Encoding

Bernhard G. Bodmann, David W. Kribs+1 more|ArXiv.org|May 29, 2006

Quantum Information and Cryptography参考文献 24被引用 5

一句话总结

本文提出了一种$C^*$-编码框架，用于实现退相干免疫的量子通信，通过在噪声敏感组件中最优分配量子信息，当无噪声子系统过小而无法容纳所有所需量子态时。该研究推导了在相位阻尼通道（建模为最小秩投影的凸组合）下的最优编码几何条件，表明当所有成对投影$P_i + P_j$的最大特征值最小时，可实现最优性能，且在两均匀框架下达到Welch界等式。

ABSTRACT

The central issue in this article is to transmit a quantum state in such a way that after some decoherence occurs, most of the information can be restored by a suitable decoding operation. For this purpose, we incorporate redundancy by mapping a given initial quantum state to a messenger state on a larger-dimensional Hilbert space via a $C^*$-algebra embedding. Our noise model for the transmission is a phase damping channel which admits a noiseless or decoherence-free subspace or subsystem. More precisely, the transmission channel is obtained from convex combinations of a set of lowest rank yes/no measurements that leave a component of the messenger state unchanged. The objective of our encoding is to distribute quantum information optimally across the noise-susceptible component of the transmission when the noiseless component is not large enough to contain all the quantum information to be transmitted. We derive simple geometric conditions for optimal encoding and construct examples.

研究动机与目标

• 解决当可用无噪声子系统不足以编码所有期望量子态时，可靠传输量子信息的挑战。
• 开发一种在系统噪声敏感部分分布量子信息的框架，同时最小化相位阻尼噪声下的最坏情况重建误差。
• 推导最优$C^*$-编码映射的几何与代数条件，以最小化在最小误差模型$\mathcal{Q}^{(1)}$中所有通道的希尔伯特-施密特重建误差的上确界。
• 通过均匀加权投影和两均匀框架，构造最优编码的显式例子，实现误差的理论下界。

提出的方法

• 将噪声建模为最小秩投影测量的凸组合（相位阻尼通道），表示为$\mathcal{Q}^{(1)} = \left\{ \sum_{j=1}^m p_j \mathcal{E}_j(M) \right\}$，其中$\mathcal{E}_j(M) = Q_j M Q_j + Q_j^\perp M Q_j^\perp$且$Q_j = E_{jj} \otimes I$。
• 使用$C^*$-代数嵌入作为编码映射$\Phi: B(\mathbb{C}^d) \to B(\mathbb{C}^m \otimes \mathbb{C}^l)$，以保持量子态结构，并在更大的希尔伯特空间中引入冗余。
• 将重建误差定义为$Y = (I - A)WA + AW(I - A)$的希尔伯特-施密特范数，其中$A$为投影到噪声敏感组件的算子，$W$为$A$本征基下的编码态。
• 通过最小化所有成对投影$P_i + P_j$（$i \neq j$）的最大特征值，实现最坏情况误差的最小化，这等价于最小化算子范数$\|P_i + P_j\|$。
• 利用$\mathbb{C}^q$中$m$个向量的Parseval框架$\{f_j\}$，其中$\|f_j\| = \sqrt{q/m}$，构造最优编码，使得$\max_{i \neq j} \|\Pi_i + \Pi_j\| = 1 + \sqrt{\frac{m - q}{q(m - 1)}}$，并实现Welch界等式。
• 将框架推广至包含退相干自由子空间的情形，通过在希尔伯特空间中扩展一个$s$维无噪声分量$\mathcal{V}$，将误差界中的$ml$替换为$ml + s$。

实验结果

研究问题

• RQ1 如何在噪声子系统有限的系统中对量子信息进行最优编码，以最小化相位阻尼噪声下的最坏情况重建误差？
• RQ2 编码映射需满足何种几何条件，才能在最小误差模型$\mathcal{Q}^{(1)}$的所有通道中实现最小最坏情况误差？
• RQ3 能否显式构造最优编码？在何种条件下可实现误差的理论下界？
• RQ4 包含退相干自由子空间如何影响误差界及最优编码的结构？
• RQ5 两均匀框架在实现最优编码性能中起何种作用？Welch界等式在何时可实现？

主要发现

• 最优$C^*$-编码最小化了在$\mathcal{Q}^{(1)}$中所有通道的希尔伯特-施密特重建误差的上确界，当所有成对投影$P_i + P_j$（$i \neq j$）的最大特征值最小时达到该最优性能。
• 最坏情况误差存在一个涉及$A$的特征值的下界，当所有$\|P_i + P_j\|$的范数相等时，该下界是紧的。
• 当$d$维输入空间被编码到$\mathbb{C}^m \otimes \mathbb{C}^l$时，最优性能在$\mathbb{C}^q$上的投影$\{\Pi_j\}$构成两均匀框架时实现，满足对所有$i \neq j$有$|\langle f_i, f_j \rangle| = \sqrt{q(m - q)/(m^2(m - 1))}$，从而最小化$\max_{i \neq j} \|\Pi_i + \Pi_j\|$。
• 最小最坏情况误差由$\|Y\|_{HS}^2 = 2 \sum_{r,s} \left( (1 - \alpha_r)\alpha_r(1 - \alpha_s)\alpha_s + (1 - \alpha_r)^2\alpha_s^2 \right) |W_{r,s}|^2$给出，当特征值$\alpha_r$被选择为使最大$\|P_i + P_j\|$最小时，该误差被最小化。
• 当引入一个$s$维退相干自由子空间$\mathcal{V}$时，误差界通过将不等式中的$ml$替换为$ml + s$而被修改，但除非$s$整除$l$，否则在一般条件下最优编码的存在性仍不明确。
• 通过在$\mathbb{C}^q$上使用均匀加权的秩一投影$\Pi_j$，构造了显式的最优例子，其中框架$\{f_j\}$满足Welch界等式，且所得编码实现了理论最小误差。