[논문 리뷰] Noisy Decoding by Shallow Circuits with Parities: Classical and Quantum (Extended Abstract)

Jop Briët, Harry Buhrman외 2명|arXiv (Cornell University)|2023. 02. 06.

Quantum Computing Algorithms and Architecture인용 수 3

한 줄 요약

이 논문은 채널의 오류 비율이 양수일 때, 고전적 NC0[⊕] 회로—패리티 게이트를 갖는 얕은 회로—가 어떤 오류 수정 부호에 대해서도 소멸 가능한 정도의 메시지만 복호화할 수 있음을 입증한다. 반면, 양자 QNC0[⊕] 회로는 (1/2 − ε) 비율의 적대적 오염이 있을 경우에도 허담드 부호를 Ω(ε²)의 일정한 성공 확률로 복호화할 수 있으며, 얕은 회로에서 노이즈 있는 복호화에 있어 양자적 우월성을 보여준다.

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[⊕] 회로도 손상된 부호어에서 메시지를 복구할 수 있는 비중이 극히 미미함을 보였다.
• 비국소적 버진-바지라니 프로토콜과 고정 깊이의 양자 OR 회로를 기반으로 한 고정 깊이의 양자 회로를 구성하여, (1/2 − ε) 비율의 적대적 오염 하에서도 허담드 부호를 Ω(ε²)의 확률로 복호화하였다.
• 등록 복호화 회로에 대한 양자 오라클 액세스를 활용하여, 양자 OR 및 등가성 테스트 회로를 사용해 IsBalt 문제를 높은 확률로 해결하였다.
• 체르노프 경계와 유니온 경계를 적용하여 양자 복호화 회로의 성공 확률을 높이고 오류를 감소시켰다.
• 복호화 문제를 약속 문제(IsBalt)로 환원하고, 회로 조합을 통해 다항식적으로 작은 오류를 갖는 양자 메이저리티 함수 회로를 구축하였다.

실험 결과

연구 질문

• RQ1 채널이 양의 오류 비율을 유발할 경우, 고전적 NC0[⊕] 회로가 비소멸적인 성공 확률로 어떤 오류 수정 부호도 복호화할 수 있는가?
• RQ2 얕은 고전적 회로에 패리티 게이트가 존재함으로써, AC0 회로가 가능하지 않은 비트리볼 복호화가 가능해지는가?
• RQ3 최대 (1/2 − ε)의 부호어가 적대적으로 오염되었을 경우, QNC0[⊕]에 속하는 양자 회로가 허담드 부호를 일정한 성공 확률로 복호화할 수 있는가?
• RQ4 편향된 입력 하에서 유한체 위의 다변수 다항식의 어떤 구조적 성질이 고전적 회로의 한계 분석을 가능하게 하는가?
• RQ5 회로 깊이가 고정되어 있을지라도, 고도의 노이즈 하에서 복호화에 있어 양자적 우월성이 입증될 수 있는가?

주요 결과

• 채널의 오류 비율이 양수일 경우, 어떤 오류 수정 부호를 사용하든 고전적 NC0[⊕] 회로는 손상된 부호어에서 복구 가능한 메시지의 비율이 소멸 가능할 뿐이며, 이는 코드의 종류와 무관하다.
• 양자 회로는 (1/2 − ε) 비율의 부호어가 적대적으로 오염되었을 경우에도 허담드 부호를 Ω(ε²)의 성공 확률로 복호화할 수 있다.
• 편향된 입력 하에서의 등분포를 증명하기 위해 고차원 다항식 사상에 대한 새로운 랭크 개념을 도입하였으며, 이는 고전적 복호화 난이도 결과를 도출하는 데 기여하였다.
• 허담드 부호를 복호화하는 데 사용된 양자 회로는 양자 오라클 액세스, 비국소적 버진-바지라니 프로토콜, 고정 깊이의 양자 OR 회로를 기반으로 구성되었다.
• 이 구축 과정을 통해 다항식적으로 작은 오류 O(n−1/8)를 갖는 QNC0[⊕] 회로가 도출되었으며, 입력 크기가 t = ⌊n^{1/8}⌋일 때 메이저리티 함수를 계산할 수 있었다.
• 이 결과는 노이즈 있는 복호화 맥락에서 고전적 회로와 양자 회로 사이의 명백한 분리성을 확립하였으며, 이 설정에서 양자 우월성을 입증하였다.