最近,Renes 提出了一种称为量子消息信念传播 (BPQM) 的量子算法,用于解码使用具有树形 Tanner 图的二进制线性码编码的经典数据,该数据通过纯状态 CQ 信道 [ 1 ](即具有经典输入和纯状态量子输出的信道)传输。该算法为基于经典信念传播算法的解码提供了真正的量子对应物,当与 LDPC 或 Turbo 码结合使用时,该算法在经典编码理论中取得了广泛成功。最近,Rengaswamy 等人 [ 2 ] 观察到 BPQM 在小示例代码上实现了最佳解码器,因为它实现了区分具有最高可实现概率的输入码字集的量子输出状态的最佳测量。在这里,我们通过以下贡献显著扩展了对 BPQM 算法的理解、形式化和适用性。首先,我们通过分析证明 BPQM 可以对任何具有树形 Tanner 图的二进制线性码实现最佳解码。我们还首次对 BPQM 算法进行了完整、无歧义的正式描述。在此过程中,我们发现了原始算法和后续工作中忽略的一个关键缺陷,这意味着量子电路实现在代码维度上将呈指数级增长。尽管 BPQM 传递量子消息,但算法所需的其他信息是全局处理的。我们通过制定一个真正的消息传递算法来解决这个问题,该算法近似于 BPQM,量子电路复杂度为 O p poly n, polylog 1
摘要 - 本文考虑了通用古典量子(CQ)通道的极地代码的设计和解码。通过使用量子消息(BPQM)来解码,尤其是配对测量BPQM(PM-BPQM)解码的想法。由于PM-BPQM解码器接受经典的密度演化(DE)分析,因此可以使用DE来设计任何CQ通道的极性代码,然后有效地计算代码速率和错误概率之间的权衡。我们还针对极地代码实施了PM-BPQM解码器的经典模拟。虽然可以在量子计算机上有效地实现解码器,但在古典计算机上模拟解码器实际上具有指数复杂性。因此,解码器的仿真结果受到限制,主要是为了验证我们的理论结果。