[논문 리뷰] The Impact of Hardware Specifications on Reaching Quantum Advantage in the Fault Tolerant Regime

Mark Webber, Vincent E. Elfving외 2명|arXiv (Cornell University)|2021. 08. 27.

Quantum Computing Algorithms and Architecture참고 문헌 73인용 수 4

한 줄 요약

이 논문은 고장내성 환경에서 양자 우월성을 달성하는 데 있어 하드웨어 특화 요소—특히 코드 사이클 시간과 물리 큐비트 수—가 미치는 영향을 조사한다. 서피스 코드 오류 수정을 사용하여, 느린 아키텍처도 전략적 큐비트 스케일링과 AutoCCZ 팩토리와 같은 병렬화 기법을 통해 실용적인 실행 시간을 달성할 수 있음을 보여준다. 코드 사이클 시간이 1 μs일 경우, 256비트 비트코인 암호화를 한 시간 내에 해독하기 위해 31700만 개의 물리 큐비트가 필요하다.

ABSTRACT

We investigate how hardware specifications can impact the final run time and the required number of physical qubits to achieve a quantum advantage in the fault tolerant regime. Within a particular time frame, both the code cycle time and the number of achievable physical qubits may vary by orders of magnitude between different quantum hardware designs. We start with logical resource requirements corresponding to a quantum advantage for a particular chemistry application, simulating the FeMoco molecule, and explore to what extent slower code cycle times can be mitigated by using additional qubits. We show that in certain situations architectures with considerably slower code cycle times will still be able to reach desirable run times, provided enough physical qubits are available. We utilize various space and time optimization strategies that have been previously considered within the field of error-correcting surface codes. In particular, we compare two distinct methods of parallelization, Game of Surface Code's Units, and AutoCCZ factories, both of which enable one to incrementally speed up the computation until the reaction limited rate is reached. Finally we calculate the number of physical qubits which would be required to break the 256 bit elliptic curve encryption of keys in the Bitcoin network, within the small available time frame in which it would actually pose a threat to do so. It would require approximately 317 million physical qubits to break the encryption within one hour using the surface code, a code cycle time of 1 $ μs$, a reaction time of 10 $ μs$, and physical gate error of $10^{-3}$. To break the encryption instead within one day it would require 13 million physical qubits.

연구 동기 및 목표

• 고장내성 양자 계산에서 양자 우월성을 달성하는 데 있어 하드웨어 특화 매개변수—특히 코드 사이클 시간과 큐비트 수—의 영향을 평가하는 것.
• 느슨한 코드 사이클 시간을 가진 아키텍처가 충분한 물리 큐비트 할당을 통해 수용 가능한 실행 시간을 달성할 수 있는지 평가하는 것.
• 두 가지 병렬화 전략—Game of Surface Code Units와 AutoCCZ 팩토리—가 논리 회로 깊이를 줄이는 데 있어 효과적인지 비교하는 것.
• 두 가지 핵심 양자 우월성 응용 사례에 대한 물리 큐비트 요구량을 정량화하는 것: FeMoco 분자의 시뮬레이션과 256비트 타원 곡선 암호화 해독.
• 현실적인 하드웨어 제약 조건과 오류율 하에서 공간(큐비트 수)과 시간(실행 시간) 최적화 간의 상호 상충 관계를 탐색하는 것.

제안 방법

• 연구는 두 가지 벤치마크 문제인 FeMoco 분자 시뮬레이션과 256비트 타원 곡선 암호 해독에 대해 서피스 코드 오류 수정과 논리적 자원 추정을 사용한다.
• 최신 알고리즘 개선, 특히 쇼어 알고리즘과 양자 화학 시뮬레이션에 대한 개선을 바탕으로 이 문제들의 논리 회로 깊이와 T-게이트 수를 모델링한다.
• 저자들은 두 가지 병렬화 기법—Game of Surface Code Units(이론적 상한선)와 AutoCCZ 팩토리(더 실용적이고 히우리스틱 기반 접근법)—를 적용하여 효과적인 회로 깊이를 감소시킨다.
• 표면 코드의 논리 오류 억제 특성을 활용하여 코드 사이클 시간, 반응 시간, 물리적 게이트 오류율을 균형 잡는 방식으로 필요한 물리 큐비트 수를 계산한다.
• 초전도체 및 트랩된 이온 플랫폼을 시뮬레이션하기 위해 코드 사이클 시간 범위(1 μs에서 235 μs)와 물리적 오류율 범위(10⁻³ 및 10⁻⁴)를 포함한다.
• 기존의 공간-시간 상호 교환 모델을 사용하여 자원 추정을 도출하며, 오류 수정의 오버헤드와 물리 큐비트 어레이의 확장성 요소를 고려한다.

실험 결과

연구 질문

• RQ1 충분한 물리 큐비트가 확보되어 있다면, 느린 코드 사이클 시간을 가진 아키텍처도 양자 우월성 작업에 대해 실용적인 실행 시간을 달성할 수 있는가?
• RQ2 Game of Surface Code Units와 AutoCCZ 팩토리 간의 다른 병렬화 전략은 고장내성 양자 알고리즘의 물리 큐비트 요구량과 시간 요구량에 어떤 영향을 미치는가?
• RQ3 서피스 코드 오류 수정을 사용할 때, 256비트 타원 곡선 암호화를 한 시간 내에 해독하기 위해 필요한 최소 물리 큐비트 수는 얼마인가?
• RQ4 물리적 오류율은 제한된 시간 창 내에서 암호 키를 해독하기 위한 큐비트 오버헤드에 어떤 영향을 미치는가?
• RQ5 고정된 실행 시간 제약 조건 하에서 자원 비용을 최소화하기 위해 T-게이트 깊이와 총 T-게이트 수 사이의 최적 균형은 무엇인가?

주요 결과

• 초전도 큐비트 컴퓨터에서 코드 사이클 시간이 1 μs일 경우, AutoCCZ 팩토리 기반으로 FeMoco 분자를 약 10일 만에 시뮬레이션하기 위해 약 750만 개의 물리 큐비트가 필요하다.
• 트랩된 이온 장치에서 코드 사이클 시간이 235 μs일 경우, 동일한 10일 실행 시간을 확보하기 위해 6억 개의 물리 큐비트가 필요하며, 이는 코드 사이클 시간의 강력한 영향을 보여준다.
• 물리적 오류율을 10⁻³에서 10⁻⁴로 낮추면, 1시간 내로 256비트 비트코인 암호화를 해독하기 위해 필요한 큐비트 수가 31700만 개에서 3300만 개로 감소한다.
• 1시간 대신 하루 내로 비트코인 암호화를 해독하기 위해선, 필요한 큐비트 수가 31700만 개에서 1300만 개로 감소하여, 시간-공간 상호 교환의 상당한 영향을 보여준다.
• AutoCCZ 팩토리 기법은 초기 설정 오버헤드가 낮아, 특히 코드 사이클 시간이 긴 아키텍처에서 Game of Surface Code Units보다 더 유리한 자원 추정을 제공한다.
• 연구는 T-게이트 깊이가 자원 스케일링에 비선형적인 영향을 미친다는 점을 밝혀내었으며, 최적의 성능은 병렬화 효율성과 오버헤드를 균형 잡는 중간 수준의 T-깊이에서 달성된다.