[논문 리뷰] Quantum error correction fails for Hamiltonian models

Robert Alicki|ArXiv.org|2004. 11. 01.

Quantum Computing Algorithms and Architecture참고 문헌 1인용 수 8

한 줄 요약

이 논문은 이산 시간 모델에서 성공하는 표준 양자 오류 수정(QEC) 기법이 연속 시간 해밀토니안 시스템에서는 마크وف성 노이즈 조건 하에서도 실패함을 보여준다. 핵심 결과는 유한한 게이트 속도로 인해 알고리즘 볼륨에 따라 허상도가 지수적으로 감소하기 때문에, 게이트 지속시간 $ t_0 $ 가 0이 아닌 현실적인 물리적 조건 하에서는 고장 내성 양자 계산이 불가능하다는 것이다.

ABSTRACT

It is argued that the existing schemes of fault-tolerant quantum computation designed for discrete-time models and based on quantum error correction fail for continuous-time Hamiltonian models even with Markovian noise.

연구 동기 및 목표

• 기존의 양자 오류 수정(QEC) 기법이 양자 계산의 연속 시간 해밀토니안 모델에 대해 타당한지 조사하기.
• 마크وف성 분해와 함께 유한한 게이트 속도($ t_0 > 0 $)가 QEC 성능에 미치는 영향을 분석하기.
• 구성된 코드와 고장 내성 절차가 현실적으로 구현 가능한 연속 시간 동역학에서 높은 허상도를 유지할 수 있는지 판단하기.
• 유한한 게이트 속도가 존재하는 현실적인 양자 시스템에서 QEC의 기본적인 제약 조건을 규명하기.

제안 방법

• 노이즈를 반군 생성자로 모델링하기 위해 단일 큐비트 분해에 대해 연속 시간 마크وف성 밀도 행렬 방정식을 수립하며, 비율 $ \lambda^2 $ 를 사용한다.
• 구간 $[0, \tau]$ 와 $[\tau - t_0^{\text{min}}, \tau]$ 에서 유니터리 복구 작동을 수행하기 위해 시간에 따라 변하는 제어 해밀토니안 $ H(t) $ 를 도입한다.
• 초연산자 형식을 사용하여 상태 허상도의 시간 진화를 유도하며, 노이즈 및 복구 맵의 영향을 방정식 $ \rho_T^{af} = R_T E_{T-1} R_{T-1} \cdots R_1 E_0 P_\psi \otimes P_{\phi_A} $ 를 통해 추적한다.
• 최소 게이트 지속시간 $ t_0^{\text{min}} $ 과 교환자 노름 $ \| [h^\alpha, \cdot] \| \leq C (t_0^{\text{min}})^{-1} $ 에 기반하여, 상태 겹침 함수 $ x(t) $ 의 시간 도함수를 추정하며, $ |dx/dt| \leq 4C t_0^{-1} $ 를 유도한다.
• 작업 주기의 끝에서 허상도를 적분을 통해 평가하며, $ Mq \ll 1 $ 인 경우 $ F_1^{\text{cont}} \leq 1 - Mq $ 를 얻고, $ q \simeq \lambda^2 t_0^{\text{min}} $ 라고 하며, $ Mq \gg 1 $ 일 경우 $ 1/2 $ 에 포화됨을 보인다.
• 최소 게이트 지속시간 $ t_0^{\text{min}} $ 가 0이 아니므로 표준 QEC 임계 조건 $ \mu = \epsilon / ((B+1)T) $ 를 충족시킬 수 없으며, 이로 인해 고장 내성 양자 계산의 임계 이론이 무효화된다.

실험 결과

연구 질문

• RQ1 이산 시간 모델에서 효과적인 표준 양자 오류 수정 기법은 마크وف성 노이즈 조건 하에서 연속 시간 해밀토니안 시스템으로 확장될 수 있는가?
• RQ2 유한한 게이트 속도 $ t_0^{\text{min}} > 0 $ 는 연속 시간 동역학에서 양자 오류 수정의 성능에 어떤 영향을 미치는가?
• RQ3 실제 연속 시간 모델에서 논리 큐비트의 허상도가 알고리즘 볼륨에 따라 지수적으로 악화되는가? 만약 그렇다면 그 이유는 무엇인가?
• RQ4 이산 시간 설정에서는 성공한 기존의 고장 내성 기법들이 연속 시간 모델에서는 왜 실패하는가?
• RQ5 허상도가 허용 가능한 수준 이하로 떨어지기 전까지 신뢰할 수 있는 계산 단계의 최대 수 $ T_{\text{max}} $ 는 얼마인가?

주요 결과

• 허상도는 $ F \lesssim \exp(-\lambda^2 t_0 V) $ 로 감소하며, 이는 작은 노이즈 비율 조건 하에서도 알고리즘 볼륨 $ V $ 에 따라 지수적으로 악화됨을 나타낸다.
• $ Mq \ll 1 $ 인 경우, 허상도는 $ F_1^{\text{cont}} \leq 1 - Mq $ 로 유계지며, 여기서 $ q \simeq \lambda^2 t_0^{\text{min}} $ 이다. 이는 유한한 게이트 속도로 인한 선형 감소를 보여준다.
• $ Mq \gg 1 $ 일 경우, 허상도는 $ F_1^{\text{cont}} \leq 1/2 $ 로 포화되며, 이는 현실 조건 하에서 정보 손실이 본질적으로 복구 불가능함을 나타낸다.
• 최소 게이트 지속시간 $ t_0^{\text{min}} > 0 $ 로 인해 오류 수정 조건 $ \mu = \epsilon / ((B+1)T) $ 는 충족될 수 없으며, 이는 고장 내성 양자 계산의 임계 이론을 무효화한다.
• 신뢰할 수 있는 단계의 최대 수는 $ T_{\text{max}} \simeq 1 / (\lambda^2 t_0^{\text{min}}) $ 로 유도되며, 이는 계산의 끝에서 큐비트 당 유한한 오류가 발생해야 한다는 조건에서 유도된다.
• 고전적 디지털 컴퓨터는 $ t_0 = 0 $ 으로 본질적으로 작동하므로 이 문제를 피하지만, 연속 상태 기술을 사용할 경우 양자 시스템과 유사한 제약 조건을 겪게 된다.