[논문 리뷰] A lower bound on the overhead of quantum error correction in low dimensions

Nouédyn Baspin, Omar Fawzi외 1명|arXiv (Cornell University)|2023. 02. 08.

Quantum Computing Algorithms and Architecture인용 수 4

한 줄 요약

이 논문은 기하학적으로 국소적인 작용만을 사용하는 저차원 양자 아키텍처에서 양자 오류 수정을 위한 필수 공간 오버헤드에 대한 기본 하한을 설정한다. 2차원에서조차도, 양자 얽힘 생성의 제약과 국소성 제약으로 인해, 임의의 고전적 계산을 허용하더라도 오차율 δ에 대해 오버헤드가 Ω(√log(1/δ))로 증가함을 증명한다.

ABSTRACT

We show that a quantum architecture with an error correction procedure limited to geometrically local operations incurs an overhead that grows with the system size, even if arbitrary error-free classical computation is allowed. In particular, we prove that in order to operate a quantum error correcting code in 2D at a logical error rate of $δ$, a space overhead of $Ω(\sqrt{\log(1/δ)})$ is needed for any constant depolarizing noise $p > 0$.

연구 동기 및 목표

• 오직 기하학적으로 국소적인 작용만을 사용하는 저차원 시스템에서 양자 오류 수정을 위한 최소 공간 오버헤드를 규명하는 것.
• 기하학적 국소성으로 인한 제약을 임의의 고전적 계산이 극복할 수 있는지 조사하는 것.
• 역수 논리 오차율과 시스템 차원수에 따라 스케일링되는 오버헤드의 하한을 설정하는 것.
• 오류 수정 성능과 공간 제약 아키텍처에서의 얽힘 생성 능력 간의 관계를 체계화하는 것.
• 2차원을 초월해 D차원 시스템으로 이론을 일반화하여 기하 함수 g_geom를 통해 차원 D에 대한 의존성을 보여주는 것.

제안 방법

• 양자 및 고전적 시스템 간의 분리 가능 작용 프레임워크를 사용하여, 고전적 계산은 자유롭게 허용하나, 양자 작용은 국소적 상호작용으로 제한한다.
• 물리적 큐비트 레지스터 A를 경계 크기가 유한한 부분집합 Γ_i로 분할하고, D차원에서의 등면적 부등식을 활용한다.
• 암호화된 상태에서의 얽힘 측도 E_R(Λ_i : ḞΛ_i)를 사용하여 정보 흐름과 오류 내성도를 정량화한다.
• 오차 수정 성능과 복구 채널의 성능을 연결하기 위해 양자 오류 수정 충실도 조건(Eq. 2)을 적용한다.
• 분할 크기, 경계 크기, 오차 매개변수를 포함한 부등식의 연쇄를 통해 물리적 큐비트 수 m에 대한 하한을 유도한다.
• 기하학적 상수 c1(D), c2(D)와 매개변수 f = log_p(δ)를 사용하여 오버헤드를 D와 δ에 따라 표현하고, 최종 하한에 도달한다.

실험 결과

연구 질문

• RQ1 오직 국소적 작용만을 사용하는 2차원 양자 아키텍처에서 목표 논리 오차율 δ를 달성하기 위해 필요한 최소 공간 오버헤드는 무엇인가?
• RQ2 임의의 고전적 계산이 기하학적 국소성으로 인한 제약을 양자 오류 수정에서 보완할 수 있는가?
• RQ3 D차원 시스템에서 오버헤드는 논리 오차율 δ와 노이즈 매개변수 p에 따라 어떻게 스케일링되는가?
• RQ4 국소성, 얽힘 생성 능력, 오류 수정 성능 사이의 근본적 트레이드오프는 무엇인가?
• RQ5 시스템의 기하학적 구조가 코드 설계와 무관하게 오버헤드에 대한 내재된 하한을 부과하는가?

주요 결과

• 2차원에서 국소적 작용과 임의의 고전적 계산을 허용할 경우, 임의의 상수의 붕괴 노이즈 p > 0에 대해 오버헤드는 Ω(√log(1/δ))로 증가한다.
• 이 하한은 D차원으로 일반화되어 오버헤드가 Ω((log(1/δ))^{1/D})로 나타나며, 차원 수가 증가함에 따라 수익 감소 효과가 나타난다.
• 논리 오차율 δ가 시스템 크기 m에 따라 지수적으로 감소할 경우, 오버헤드는 Ω(m^{c/2})로 하한이 설정된다.
• 고전적 계산이 무료일 경우에도 이 결과가 성립함을 증명하여, 양자 작용의 국소성이 근본적인 성능 저하 요인임을 입증한다.
• 이 결과는 얽힘 측도와 기하학적 분할을 통해 유도되었으며, 오류 수정 성능에서 비국소성의 역할을 부각시킨다.
• 이 분석은 얽힘 생성 속도가 제한된 모든 아키텍처에 적용 가능하며, 오류 수정 능력과 직접적으로 얽힘 동역학을 연결한다.