[论文解读] Classical capacity of fermionic product channels

Sergey Bravyi|ArXiv.org|Jul 29, 2005

Quantum Computing Algorithms and Architecture参考文献 1被引用 10

一句话总结

本文推导出费米子乘积通道——由独立的一模费米子衰减通道组成的量子通道——的最小输出熵和单次经典容量的显式解析公式。在假设输入态为高斯态的前提下，作者给出了高斯容量的闭式表达式，并通过精度高达 10⁻⁹ 的数值验证，支持了该通道的最小输出熵在高斯输入态下达到的猜想。

ABSTRACT

We study multi-qubit quantum channels that can be represented as a product of one-mode fermionic attenuation channels. An explicit formula for the classical capacity $C_1$ and for the minimum output entropy $S_{min}$ of these channels is proposed. We compute $S_{min}$ analytically for any number of qubits under assumption that the minimum is achieved on a Gaussian input. Apart from that, a simple numerical method for evaluating $S_{min}$ is developed. The method is applicable to any channels that are sufficiently noisy. For fermionic product channels the proposed formula for $S_{min}$ agrees with the numerical results with a precision about $10^{-9}$.

研究动机与目标

• 确定由单模费米子衰减通道组成的多量子比特量子通道的古典容量。
• 在假设最小值在高斯输入态下实现的前提下，计算这些通道的最小输出熵 $ S_{\text{min}} $。
• 在解析计算不可行的情况下，开发一种用于评估 $ S_{\text{min}} $ 的数值迭代算法。
• 通过比较解析结果与数值结果，检验费米子乘积通道的最小输出熵是否在高斯态下实现的猜想。

提出的方法

• 本文将通道建模为一模费米子衰减通道的乘积，通过约旦-维格纳变换将费米子模式映射到泡利算符，以衰减系数 $ b_p \in [0,1] $ 参数化。
• 采用由马约拉纳费米子算符的一阶和二阶矩完全表征的费米子高斯态，以计算冯 Neumann 熵和霍尔沃夫量。
• 基于有序衰减系数 $ b^{\downarrow}_j $，推导出高斯容量 $ C_1^g(\Phi) $ 的显式解析公式，涉及二元熵函数 $ H\left(\frac{1 + b^{\downarrow}_j}{2}\right) $。
• 开发了一种数值迭代最小化算法以计算 $ S_{\text{min}} $，初始输入为随机纯态，并通过迭代优化输出熵。
• 在具有对称与非对称系数分布的三和四量子比特通道上测试了该算法，结果显示多次运行下收敛至一致的值。
• 将结果与解析的高斯下界 $ S_{\text{min},g} $ 进行比较，发现在大多数情况下一致至 $ 10^{-9} $ 精度以内。

实验结果

研究问题

• RQ1 费米子乘积通道的最小输出熵是否与高斯输入态下的取值一致？
• RQ2 在高斯输入假设下，能否为费米子乘积通道的单次经典容量推导出解析公式？
• RQ3 所提出的数值迭代算法在估计此类通道的最小输出熵时有多准确？
• RQ4 对称与非对称衰减系数分布下，输出熵景观的行为有何不同？
• RQ5 这些通道的古典容量是否具有可加性？高斯容量是否为紧致上界？

主要发现

• 高斯容量 $ C_1^g(\Phi) $ 的解析公式为 $ n - H\left(\frac{1 + b^{\downarrow}_1}{2}\right) - \sum_{j=1}^{n-1} H\left(\frac{1 + b^{\downarrow}_j}{2}\right) $，其中 $ b^{\downarrow}_j $ 为有序衰减系数。
• 对于对称的三和四量子比特通道（$ b_p = b $），数值算法在多次运行中收敛至相同的 $ S_{\text{min}} $ 值，与高斯下界 $ S_{\text{min},g} $ 的偏差在 $ 10^{-9} $ 水平，与数值噪声一致。
• 对于非对称通道（$ b_p = b^{p/k} $），算法在大多数情况下收敛至相同的 $ S_{\text{min}} $，在 $ b \leq 0.7 $ 区域，$ S_{\text{min}} - S_{\text{min},g} \approx 10^{-9} $，表明与高斯假设高度一致。
• 当 $ b $ 接近 1 时，算法偶尔收敛至局部极小值，导致 $ S_{\text{min}} $ 值比 $ S_{\text{min},g} $ 高出几个百分点，表明在高噪声区域输出熵景观可能存在非凸性。
• 数值结果强烈支持猜想：对所有费米子乘积通道，$ S_{\text{min}}(\Phi) = S_{\text{min},g}(\Phi) $，意味着最小值在高斯态下实现。