[논문 리뷰] Error Correction of Quantum Algorithms: Arbitrarily Accurate Recovery Of Noisy Quantum Signal Processing

Andrew K. Tan, Yuan Liu외 2명|arXiv (Cornell University)|2023. 01. 20.

Quantum Computing Algorithms and Architecture인용 수 6

한 줄 요약

이 논문은 다항식 회전 오차 매개변수 ε에 대해 Pauli X 및 Y 오차를 임의의 순서로 억제하는 혼합된 복구 QSP 시퀀스를 일관되게 첨가하여 양자 신호 처리(QSP)의 알고리즘 수준 오차 보정(ALEC)을 제안한다. 복구 시퀀스의 길이가 O(2^k c^{k^2} d)이면, 고유 단위가 c개인 길이 d의 QSP를 ε에 대해 k차까지 보정할 수 있으며, 추가 가정 하에 k=1일 때 최적성이 입증된다.

ABSTRACT

The intrinsic probabilistic nature of quantum systems makes error correction or mitigation indispensable for quantum computation. While current error-correcting strategies focus on correcting errors in quantum states or quantum gates, these fine-grained error-correction methods can incur significant overhead for quantum algorithms of increasing complexity. We present a first step in achieving error correction at the level of quantum algorithms by combining a unified perspective on modern quantum algorithms via quantum signal processing (QSP). An error model of under- or over-rotation of the signal processing operator parameterized by $ε< 1$ is introduced. It is shown that while Pauli $Z$-errors are not recoverable without additional resources, Pauli $X$ and $Y$ errors can be arbitrarily suppressed by coherently appending a noisy `recovery QSP.' Furthermore, it is found that a recovery QSP of length $O(2^k c^{k^2} d)$ is sufficient to correct any length-$d$ QSP with $c$ unique phases to $k^{th}$-order in error $ε$. Allowing an additional assumption, a lower bound of $Ω(cd)$ is shown, which is tight for $k = 1$, on the length of the recovery sequence. Our algorithmic-level error correction method is applied to Grover's fixed-point search algorithm as a demonstration.

연구 동기 및 목표

• 양자 알고리즘의 게이트 수준 오차를 상태 또는 게이트 수준이 아닌 알고리즘 수준에서 보정하는 방법을 개발하는 것.
• 오차 매개변수 ε를 사전에 알지 못하는 조건에서, QSP 연산자에서의 체계적 오차—특히 부족 또는 과잉 회전—를 보정하는 데 도전하는 것.
• 신호 매개변수 θ에 독립적이고, 완전히 일관되며 결정적인 복구 시퀀스를 설계하여 다양한 양자 알고리즘에 광범위하게 적용 가능하도록 하는 것.
• QSP 맥락에서 복구 시퀀스의 자원 한계와 최적성 조건을 설정하며, 양자 특이값 변환(QSVT)에 대한 함의를 포함하는 것.

제안 방법

• QSP 회전이 고정되었지만 알려지지 않은 ε에 의해 곱셈적으로 왜곡되는 노이즈 모델을 도입하여, 신호 처리 연산자의 부족 또는 과잉 회전을 유도한다.
• 원래의 노이즈 있는 QSP에 첨가되는 복구 QSP 시퀀스를 구성하여, ε에 대해 k차까지 오차를 상쇄시키며, 동일한 QSP 프레임워크만을 사용한다.
• 오차 전파를 분석하고 오차 상쇄 조건을 유도하기 위해 편미분 도식 전개를 활용한다.
• Pauli Z 오차는 추가 자원 없이 복구될 수 없지만, X 및 Y 오차는 복구 시퀀스를 통해 임의로 억제 가능하다는 것을 증명한다.
• ε에 대해 k차까지 보정 가능한 길이 d의 QSP를 c개의 고유 단위를 가진 경우, 복구 시퀀스 길이의 상한을 O(2^k c^{k^2} d)로 유도한다.
• 추가 가정 하에 복구 길이의 하한은 Ω(cd)이며, 이는 k=1일 때 날카로운 하한이 되어 이 경우에 복구 구조의 최적성을 입증한다.

실험 결과

연구 질문

• RQ1 신호 매개변수 θ에 독립적이고 오차 매개변수 ε를 알지 못하는 조건에서, 알고리즘 수준에서 QSP의 오차 보정이 가능할 수 있는가?
• RQ2 표준 QSP 프레임워크 내에서 일관되고 결정적인 복구 시퀀스만을 사용하여, Pauli X 및 Y 오차를 ε에 대해 임의의 순서로 억제할 수 있는가?
• RQ3 QSP에서 k차 오차 보정을 달성하기 위한 최소 자원 요구량(시퀀스 길이)은 무엇이며, 이를 날카롭게 유계화할 수 있는가?
• RQ4 원래 QSP 회로의 깊이 d와 고유 단위 수 c에 따라 복구 시퀀스는 어떻게 스케일링되는가?
• RQ5 복구 구조는 양자 특이값 변환(QSVT)으로 일반화될 수 있는가? 이 경우, 모든 특이값 부분공간에서 동시에 오차를 보정할 수 있는가?

주요 결과

• 제안된 복구 프레임워크로는 추가 자원 없이 Pauli Z 오차를 복구할 수 없으며, 이는 방법의 기본적인 한계를 보여준다.
• Pauli X 및 Y 오차는 일관된 복구 QSP 시퀀스를 통해 ε에 대해 임의의 순서 k까지 억제 가능하며, 이는 고차 오차 보정의 실현 가능성을 입증한다.
• 길이 O(2^k c^{k^2} d)인 복구 시퀀스는 고유 단위가 c개인 길이 d의 QSP를 ε에 대해 k차까지 보정하는 데 충분하다.
• k=1일 때 복구 시퀀스 길이의 하한은 Ω(cd)이며, 이는 날카로운 하한이므로 이 경우 복구 구조의 최적성을 입증한다.
• 오차 임계값 ε*ₖ는 k가 증가함에 따라 증가하나, k→∞일 때의 한계는 여전히 열려 있는 문제이다.
• 복구 구조는 QSVT로 직접 일반화되며, QSVT의 통합적 구조 덕분에 모든 특이값 부분공간에서 오차를 동시에 보정할 수 있다.