[论文解读] Approximate Quantum Error-Correcting Codes and Secret Sharing Schemes

Claude Crépeau, Daniel Gottesman+1 more|ArXiv.org|Mar 15, 2005

Quantum Computing Algorithms and Architecture参考文献 14被引用 8

一句话总结

本文通过在大型量子-经典寄存器中编码量子信息，构建了近似量子纠错码（AQECC），可纠正最多 ⌊(n−1)/2⌋ 个任意错误，保真度指数趋近于 1。与仅能纠正最多 n/4 个错误的精确 QECC 不同，这些码通过基于容错秘密共享的混合量子-经典编码方案实现高保真度恢复，凸显了精确与近似量子纠错之间的显著差异。

ABSTRACT

It is a standard result in the theory of quantum error-correcting codes that no code of length n can fix more than n/4 arbitrary errors, regardless of the dimension of the coding and encoded Hilbert spaces. However, this bound only applies to codes which recover the message exactly. Naively, one might expect that correcting errors to very high fidelity would only allow small violations of this bound. This intuition is incorrect: in this paper we describe quantum error-correcting codes capable of correcting up to (n-1)/2 arbitrary errors with fidelity exponentially close to 1, at the price of increasing the size of the registers (i.e., the coding alphabet). This demonstrates a sharp distinction between exact and approximate quantum error correction. The codes have the property that any $t$ components reveal no information about the message, and so they can also be viewed as error-tolerant secret sharing schemes. The construction has several interesting implications for cryptography and quantum information theory. First, it suggests that secret sharing is a better classical analogue to quantum error correction than is classical error correction. Second, it highlights an error in a purported proof that verifiable quantum secret sharing (VQSS) is impossible when the number of cheaters t is n/4. More generally, the construction illustrates a difference between exact and approximate requirements in quantum cryptography and (yet again) the delicacy of security proofs and impossibility results in the quantum model.

研究动机与目标

• 证明近似量子纠错码（AQECC）可突破精确 QECC 的 n/4 错误阈值。
• 建立 AQECC 与容错秘密共享方案（ETSS）之间的联系，表明任意 t 个组件均无法泄露编码态的任何信息。
• 挑战精确 QECC 边界适用于近似码的假设，尤其在可验证量子秘密共享（VQSS）的背景下。
• 探讨在更高欺诈者阈值下，对安全多方量子计算与密码协议的影响。
• 表明当允许近似重构时，先前关于 VQSS 在 t ≥ n/4 欺诈者下不可能的证明无效。

提出的方法

• 通过在大型量子寄存器中混合编码量子态，并结合经典认证密钥，构建 AQECC。
• 以距离 d = t+1 的量子 Reed-Solomon（多项式）码作为底层稳定子码，适用于 t < n/2 的情况。
• 使用经典容错秘密共享（ETSS）对每个量子寄存器进行认证，确保对最多 t 个欺诈者的安全性。
• 对未受损的寄存器子集应用擦除纠错，利用码的纠错 s 个擦除并检测 t−s 个额外错误的能力。
• 利用任意 t 个寄存器与其余部分最大纠缠的事实，推导保真度界限，从而实现大小为 O(log ℓ + log(1/ε)) 的简短经典认证密钥。
• 修改 ETSS 方案以减小份额大小，实现每组件总寄存器大小为 O(ℓ/(n−2t) + n log(1/ε)) 量子比特。

实验结果

研究问题

• RQ1 若放宽精确恢复要求至高保真度近似，量子纠错码是否可纠正超过 n/4 个错误？
• RQ2 标准的 n/4 错误限制是否适用于近似量子纠错码？
• RQ3 近似 QECC 是否可用于构建可验证量子秘密共享（VQSS）方案，且欺诈者数量超过 n/4？
• RQ4 与经典纠错相比，秘密共享是否是量子纠错更合适的经典类比？
• RQ5 近似纠错对安全多方量子计算与密码安全证明有何影响？

主要发现

• 当 ε 较小时，AQECC 可纠正最多 ⌊(n−1)/2⌋ 个任意错误，保真度为 1−O(n²ε)，指数趋近于 1。
• 该构造产生一种秘密共享方案，任意 t 个组件均无法泄露编码态的任何信息，满足完美安全性。
• 当 t < n/2 时，码使用大小为 O(ℓ/(n−2t) + n log(1/ε)) 量子比特的寄存器，经典份额大小为 CC(n log(1/ε), ε, t) 比特。
• 当 n = 2t + 1 时，寄存器大小简化为 O(ℓ + n log(1/ε)) 量子比特，表明其具有与容错能力相适应的可扩展性。
• 由于 d−1 个寄存器中的最大纠缠，经典认证密钥长度减少至 O(log ℓ + log(1/ε))，提升了效率。
• 本文否定了先前关于 VQSS 在 t ≥ n/4 时不可能的证明，因其依赖的边界不适用于近似码；并构造了针对 t = ⌊(n−1)/2⌋ 的诚实发起者 VQSS 方案。