Polynomial-time simulation of non-Clifford quantum error correction

오늘날의 어떤 기계도 도달할 수 없는 문제를 해결할 수 있는 컴퓨터를 구축하는 것은 섬세한 균형 잡기가 필요합니다. 양자 컴퓨터라고 알려진 이 기계들은 동시에 여러 상태로 존재할 수 있는 입자에 의존하며, 이 특성은 방대한 양의 정보를 동시에 처리할 수 있게 해줍니다. 그러나 이와 동일한 민감성 때문에 이들은 매우 취약합니다. 환경으로부터 발생하는 아주 작은 교란만으로도 정보를 잃고 실패하게 됩니다. 이러한 기계를 계속 작동시키기 위해 과학자들은 오류가 퍼지기 전에 시스템을 지속적으로 점검하고 수정하는 방법인 오류 정정(error correction)을 사용합니다. 이러한 오류를 점검하고 수정하기 위한 기본적인 규칙은 잘 알려져 있지만, 이 컴퓨터들이 수행해야 하는 가장 강력한 연산들은 더 복잡하고 예측 불가능한 종류의 정정을 필요로 합니다. 수년 동안, 이러한 복잡한 정정이 어떻게 작동하는지를 표준 컴퓨터로 시뮬레이션하는 것은 거의 불가능했으며, 이로 인해 연구자들은 자신들의 설계가 실제 환경의 노이즈 하에서 어떻게 견뎌낼지를 추측할 수밖에 없었습니다.

옥스퍼드 대학교와 프리 대학교 베를린(Freie Universität Berlin)의 연구팀은 이제 이러한 복잡한 양자 오류 정정 회로를 완벽한 정확도와 속도로 시뮬레이션할 수 있는 방법을 개발했습니다. 그들은 범용 양자 컴퓨팅에 필요한 특수한 자원을 준비하는 데 가장 유망한 방법들을 포함하는 광범위한 회로 군이 숨겨진 수학적 패턴을 따른다는 것을 발견했습니다. 이 패턴을 통해 시스템의 전체 상태를 특정 유형의 다항식, 즉 입자의 수보다 훨씬 느리게 복잡성이 증가하는 수학적 표현식을 사용하여 설명하고 추적할 수 있습니다. 연구팀은 이러한 회로들이 무작위 오류가 발생하더라도 이 패턴 내에 머물러 있음을 증м 증명함으로써, 많은 논리적 출력을 처리할 수 있는 새로운 시뮬레이션 도구를 만들어냈습니다. 이는 기존의 시뮬레이션 소프트웨어들이 과부하로 중단되거나 메모리 부족 현상을 겪었던 작업입니다.

이러한 회로를 시뮬레이션하는 데 따르는 어려움은 오류와 정정의 본질에서 기인합니다. 표준 양자 컴퓨터에서 오류는 흔히 동전이 앞면이나 뒷면에 떨어지는 것과 유사한 비트의 무작위 반전으로 모델링됩니다. 연구진은 고전적으로 시뮬레이션하기 어렵다고 알려진 연산 세트를 사용하는 특정 클래스의 회로에 집중했습니다. 이 회로들은 단순하고 안정적인 양자 상태를 가져와서, 범용 양자 컴퓨터가 수행할 수 있는 전체 범위의 계산에 필수적인 더 복잡한 "매직(magic)" 상태로 변환하도록 설계되었습니다. 문제는 이러한 회로가 커짐에 따라 시스템이 진화할 수 있는 가능한 방식의 수가 기하급수적으로 폭발한다는 점입니다. 전통적인 시뮬레이션 방법은 모든 가능성을 추적하려고 시도하며, 이는 시스템 규모가 커짐에 따라 빠르게 불가능해집니다. 연구진은 시스템이 혼돈스러워 보이지만 실제로는 엄격한 구조를 따르고 있다는 사실을 깨달았습니다. 그들은 이 회로들의 모든 중간 상태가 3차 다항식 규칙을 따르는 위상(phase)을 가진 특정 기하학적 형상의 균일한 중첩(uniform superposition)으로 설명될 수 있음을 발견했습니다.

이 발견을 유용하게 만들기 위해, 연구팀은 이 상태들을 '대각 클리포드 및 파울리 형식(diagonal-Clifford-and-Pauli formalism)'이라 부르는 새로운 방식으로 바라보는 방법을 도입했습니다. 더 쉽게 말하자면, 그들은 복잡한 양자 상태를 관리하기 더 쉬운 안정화 연산자(stabilizing operators)를 사용하여 표현하는 방법을 찾아냈습니다. 이 연산자들은 기본 양자 게이트와 상태의 위상을 변화시키는 대각 연산의 조합으로 구축됩니다. 전체 파동 함수를 추적하는 대신 이러한 연산자들을 추적함으로써, 연구진은 매 게이트와 매 측정 이후에 시스템의 상태를 시스템 크기에 대해 다항식 시간 내에 업데이트할 수 있었습니다. 이는 큐비트의 수를 두 배로 늘린다고 해서 시뮬레이션 시간이 두 배로 늘어나는 것이 아니라, 시간이 관리 가능한 속도로 증가함을 의미하며, 이를 통해 이전보다 훨씬 큰 시스템을 시뮬레이션할 수 있게 되었습니다.

그들의 작업에서 중요한 부분은 측정이 이러한 회로에 미치는 영향을 이해하는 것이었습니다. 양자 컴퓨팅에서 입자를 측정하면 그 상태가 붕괴되며, 그 결과는 무작위적일 수 있습니다. 연구진은 특정 유형의 측정이 "호환 가능하다(compatible)", 즉 기초적인 다항식 구조를 보존한다는 것을 증명했습니다. 즉, 이상적인 노이즈 없는 회로에서 측정이 결정론적(deterministic)이거나, 시스템의 특정 제약 조건과 반교환(anticommute)한다면, 노이즈가 도입되어도 호환성을 유지한다는 것을 보여주었습니다. 이 발견은 매우 중요합니다. 왜냐하면 시뮬레이션이 모든 가능한 노이즈가 섞인 분기를 개별적으로 분석할 필요 없이 진행될 수 있게 해주기 때문입니다. 대신, 연구진은 이상적인 회로에 대한 조건을 검증함으로써 무작위 결함이 삽입되어도 시뮬레이션이 효율적이고 정확하게 유지될 것임을 확신할 수 있습니다.

연구팀은 이러한 결과들을 Merlin이라는 오픈 소스 소프트웨어 패키지에 구현했습니다. 그들은 매직 상태 증류(magic state distillation, 노이즈가 있는 양자 상태를 고품질의 상태로 정제하는 과정)와 코드 스위칭(컴퓨터에서 사용하는 오류 정정 코드를 변경하는 과정)을 위해 설계된 회로들을 대상으로 Merlin을 기존의 여러 시뮬레이터들과 비교 테스트했습니다. 논리적 출력의 수가 증가하는 Bravyi-Haah 증류 프로토콜을 포함한 테스트에서, Merlin은 다른 도구들에 비해 실행 시간과 메모리 사용량 모두에서 현저히 나은 확장성을 보여주었습니다. 특정 대규모 코드를 기반으로 한 코드 스위칭 회로의 시뮬레이션을 완료하지 못하고 메모리 고갈을 겪은 다른 시뮬레이터들과 달리, Merlin은 전체 과정을 성공적으로 시뮬레이션했습니다. 이러한 성공은 상호 보완적인 강점을 강조합니다. 즉, 다른 방법들이 작고 단순한 회로에서는 더 빠를 수 있지만, Merlin은 높은 비율의 프로토콜을 평가하는 데 필수적인 영역인 논리적 출력이 증가하는 상황에서 탁월한 성능을 발휘합니다.

이 연구의 함의는 단순히 더 빠른 시뮬레이션을 넘어섭니다. 이러한 복잡한 회로의 내부 상태를 정확하게 추적할 수 있는 프레임워크를 제공함으로써, 연구진은 커뮤니티에 결함 허용(fault-tolerant) 양자 아키텍처를 설계하고 테스트할 수 있는 강력한 도구를 선사했습니다. 그들은 횡단 게이트(transversal gates), 게이지 고정(gauge fixing), 신드롬 추출(syndrome extraction)에 기반한 다양한 프로토콜들이 효율적인 시뮬레이션 조건을 충족한다는 것을 보여주었습니다. 이는 엔지니어들이 이제 Merlin을 사용하여 이전에는 접근할 수 없었던 시스템 규모에서 새로운 오류 정정 체계의 성능을 평가할 수 있음을 의미합니다. 근사치 없이 이러한 회로를 정확하게 시뮬레이션할 수 있다는 것은, 양자 컴퓨터 설계의 생존 여부를 결정짓는 핵심 요소인 논리적 오류율과 자원 오버헤드를 정밀하게 평가할 수 있게 해줍니다.

연구진은 또한 그들의 방법이 모든 양자 회로에 적용되는 보편적인 해결책은 아니라는 점에도 주목했습니다. 특정 유형의 측정이나 다항식 패턴에 부합하지 않는 게이트를 포함하는 회로는 여전히 시뮬레이션에 지수적인 시간이 필요합니다. 그러나 그들은 이러한 특수한 다항식 상태들의 합으로 상태를 분해하는 방식을 포함하여 프레임워크를 확장함으로써, 더 넓은 범위의 회로를 시뮬레이션할 수 있는 길을 열었으며, 다만 그 비용은 분해되는 항의 개수에 따라 달라집니다. 이 접근 방식은 다른 시뮬레이션 방법들이 복잡성을 다루는 방식과 유사하지만, 양자 오류 정정과 관련된 특정 클래스의 회로에 대해 더 효율적인 기본 표현식을 갖는다는 장점이 있습니다.

결국, 이 연구는 현실적인 조건 하에서의 복잡한 양자 시스템의 동작에 대한 명확한 창을 제공합니다. 이는 노이즈가 존재하는 상황에서도 특정 양자 회로가 효율적인 고전적 시뮬레이션을 활용할 수 있는 구조를 유지한다는 것을 입증합니다. 이러한 통찰은 특정 오류 정정 프로토콜의 실현 가능성을 검증할 뿐만 아니라, 양자 컴퓨터의 내부 역학을 바라보는 새로운 관점을 제공합니다. 분야가 더 크고 유능한 기계를 구축하는 방향으로 나아감에 따라, Merlin과 같은 도구는 다양한 설계 선택지 사이의 절충안을 탐색하고 범용 양자 컴퓨팅으로 가는 길이 신뢰할 수 있고 잘 이해된 물리학적 토대 위에 세워지도록 하는 데 필수적일 것입니다.