[论文解读] Noisy Decoding by Shallow Circuits with Parities: Classical and Quantum (Extended Abstract)

Jop Briët, Harry Buhrman+2 more|arXiv (Cornell University)|Feb 6, 2023

Quantum Computing Algorithms and Architecture被引用 3

一句话总结

该论文证明，经典 NC0[⊕] 电路——即具有异或门的浅层电路——在信道具有正错误率时，只能从任何纠错码的噪声码字中解码出可忽略不计的消息比例。相比之下，量子 QNC0[⊕] 电路在面对 (1/2 − ε) 比例的对抗性破坏时，仍能以 Ω(ε²) 的常数成功概率解码 Hadamard 码，展示了在浅层电路中进行噪声解码的量子优势。

ABSTRACT

We consider the problem of decoding corrupted error correcting codes with NC$^0[\oplus]$ circuits in the classical and quantum settings. We show that any such classical circuit can correctly recover only a vanishingly small fraction of messages, if the codewords are sent over a noisy channel with positive error rate. Previously this was known only for linear codes with large dual distance, whereas our result applies to any code. By contrast, we give a simple quantum circuit that correctly decodes the Hadamard code with probability $Ω(\varepsilon^2)$ even if a $(1/2 - \varepsilon)$-fraction of a codeword is adversarially corrupted. Our classical hardness result is based on an equidistribution phenomenon for multivariate polynomials over a finite field under biased input-distributions. This is proved using a structure-versus-randomness strategy based on a new notion of rank for high-dimensional polynomial maps that may be of independent interest. Our quantum circuit is inspired by a non-local version of the Bernstein-Vazirani problem, a technique to generate ``poor man's cat states'' by Watts et al., and a constant-depth quantum circuit for the OR function by Takahashi and Tani.

研究动机与目标

• 确定经典与量子浅层电路在噪声信道下解码纠错码的根本极限。
• 解决当存在噪声时，NC0[⊕] 电路是否能解码超过可忽略比例消息的码型问题。
• 通过构建一个常数深度的量子电路，证明在高错误率下仍能以非可忽略概率成功解码，从而展示可证明的量子优势。
• 提出一种基于秩的新结构-随机性框架，用于分析有限域上带偏置分布的多元多项式。

提出的方法

• 通过引入高维多项式映射的新秩概念，证明了在带偏置输入分布下，有限域上多元多项式具有等分布现象。
• 采用结构-随机性策略，表明任何 NC0[⊕] 电路在具有正偏置的对称噪声下，仅能从被污染的码字中恢复出可忽略不计的消息比例。
• 基于非局域 Bernstein-Vazirani 协议和一个常数深度的量子 OR 电路，构建了一个常数深度的量子电路，用于在 (1/2 − ε) 比例的对抗性破坏下以概率 Ω(ε²) 解码 Hadamard 码。
• 利用对列表解码电路的量子预言机访问，通过量子 OR 电路和相等性测试电路，高概率地解决了 IsBalt 问题。
• 应用切尔诺夫不等式和联合界，放大成功概率并降低量子解码电路中的错误。
• 将解码问题约化为求解一个承诺问题（IsBalt），并使用电路组合构建一个误差为多项式小量的量子多数函数电路。

实验结果

研究问题

• RQ1 当信道引入正错误率时，经典 NC0[⊕] 电路是否能以非零成功概率解码任何纠错码？
• RQ2 浅层经典电路中是否存在异或门，能实现超越 AC0 电路能力的非平凡解码？
• RQ3 当码字最多有 (1/2 − ε) 的部分被对抗性破坏时，量子电路在 QNC0[⊕] 中是否能对 Hadamard 码实现常数成功概率的解码？
• RQ4 在带偏置输入下，有限域上多元多项式的哪些结构性质使得经典电路限制的分析成为可能？
• RQ5 即使电路深度为常数，是否存在可证明的量子优势，使得在高噪声下仍能实现有效解码？

主要发现

• 无论使用何种码型，当信道具有正错误率时，任何经典 NC0[⊕] 电路仅能从被污染的码字中解码出可忽略不计的消息比例。
• 即使码字中有 (1/2 − ε) 的部分被对抗性破坏，量子电路对 Hadamard 码的解码成功概率仍能达到 Ω(ε²)。
• 提出了一种高维多项式映射的新秩概念，并用于证明在带偏置输入下具有等分布性，从而支持了经典困难性的结论。
• 用于解码 Hadamard 码的量子电路基于量子预言机访问、非局域版本的 Bernstein-Vazirani 协议以及一个常数深度的量子 OR 电路构建而成。
• 该构造产生了一个 QNC0[⊕] 电路，可在大小为 t = ⌊n^{1/8}⌋ 的输入上以误差 O(n−1/8) 计算 MAJORITY 函数。
• 该结果在噪声解码背景下，建立了经典与量子浅层电路之间的可证明分离，展示了在此场景下的量子优势。