Substantially Improved Rate and Distance for Addressable Transversal Phase Gates

양자 컴퓨터는 고전적 기계가 수천 년 걸릴 문제를 해결할 가능성을 약속하지만, 매우 취약합니다. 열이나 진동으로부터 오는 아주 작은 방해에도 이들이 보유한 섬세한 정보가 뒤섞여 계산이 실패할 수 있습니다. 신뢰할 수 있는 기계를 구축하기 위해 과학자들은 양자 오류 정정(quantum error correction)을 사용하여 이 정보를 보호해야 합니다. 이 과정은 단 하나의 데이터 조각을 여러 개의 물리적 입자에 분산시켜, 몇 개의 입자가 손실되거나 부패하더라도 전체 메시지가 파괴되지 않도록 하는 안전망을 만드는 것을 포함합니다. 이러한 기계가 진정으로 유용해지기 위한 핵심 요구 사항은 안전망을 깨뜨리지 않으면서 데이터에 특정 복잡한 연산을 수행할 수 있는 능력입니다. '게이트(gates)'라고 알려진 이러한 연산은 단 하나의 오류가 전체 시스템으로 퍼져서 침투하는 것을 방 prevent하는 방식으로 적용되어야 합니다.

수십 년 동안, '이스트인-크닐 정리(Eastin-Knill theorem)'로 알려진 근본적인 규칙은 주요한 장애물로 남아 있었습니다. 이 정리는 단일 양자 코드가 데이터를 보호하면서 동시에 전체 시스템에 걸쳐 완전한 범용 연산을 쉽고 안전하게 적용할 수 없음을 증명했습니다. 과학자들은 각 물리적 입자에 개별적으로 작용하여 오류를 억제하는 '트랜스벌스 게이트(transversal gate)'라는 특수한 유형의 연산을 사용하는 우회 방법을 찾아냈습니다. 그러나 이러한 게이트는 제한된 종류의 연산만을 처리할 수 있었습니다. 강력한 컴퓨팅에 필요한 전체 범위의 계산을 수행하기 위해, 연구자들은 누락된 연산을 생성하기 위해 '매직 스테이트 디스틸레이션(magic-state distillation)'이라 불리는 복잡하고 자원 집약적인 과정에 의존해야 했습니다. 더 우아한 해결책은 이러한 누락된 연산들을 개별적인 데이터 조각에 직접적이고 선택적으로 적용할 수 있는 '주소 지정 가능성(addressability)'이라는 특성을 가진 코드를 설계하는 것이었습니다. 이러한 코드를 만들기 위한 이전의 시도들은 이론적으로는 성공했으나, 결과적으로 만들어진 시스템이 너무 비효율적이어서 아주 적은 양의 정보를 저장하는 데조차 비현실적인 수의 물리적 입자를 필요로 했기에 실제 응용에는 무용지물이었습니다.

한 연구팀은 이제 이러한 주소 지정 가능 코드의 효율성을 실질적으로 개선하여, 이를 이론적인 호기심의 영역에서 실용적인 현실의 영역으로 이동시켰습니다. 표준적인 이진 프레임워크를 넘어서는 새로운 정보 인코딩 방법을 개발함으로써, 그들은 오류에 대한 높은 수준의 보호를 유지하면서도 개별 논리 큐비트에 대해 복잡한 비표준 연산을 수행할 수 있는 양자 코드를 구축했습니다. 연구팀은 저장되는 데이터의 양이 사용된 물리적 입자의 수에 비해 유의미하며, 오류 사이의 거리가 실수를 잡아낼 수 있을 만큼 충분히 크다는 것을 달성할 수 있음을 입증했습니다. 그들의 작업은 컴퓨터에 의해 빠르게 생성될 수 있는 방법과, 시간은 더 오래 걸리지만 훨씬 더 나은 성능을 내는 방법이라는 두 가지 뚜렷한 방식을 제공합니다. 두 방법 모두 이론적으로 가능한 것과 실제로 구축할 수 있는 것 사이의 간극이 크게 좁혀지고 있음을 증명합니다.

이 돌파구의 핵심은 연구자들이 물리적 입자들을 조직하는 방식에 있습니다. 데이터를 단순한 온-오프 스위치로 취급하는 대신, 그들은 정보를 시계 숫자가 돌아가는 것과 유사한 순환 구조로 배치했습니다. 이 접근 방식은 개별 논리 큐비트를 주소 지정하는 작업과 코드가 오류에 강하도록 보장하는 작업을 분리할 수 있게 해주었습니다. 이전의 설계에서는 이 두 목표가 밀접하게 결합되어 있어, 하나를 개선하면 다른 하나를 희생해야 하는 절충안을 강요받았습니다. 이들을 분리함으로써, 연구자들은 속도와 안전성을 동시에 최적화할 수 있었습니다. 그들은 대수 기하학(algebraic geometry)에 기반한 수학적 프레임워크를 사용하여 이 코드들의 첫 번째 버전을 구축했으며, 이는 적절한 시간 내에 생성될 수 있습니다. 이 구축 방식은 시스템이 커짐에 따라 코드의 효율성이 높게 유지되며, 정보 저장율과 오류 탐지 능력이 모두 특정하고 의미 있는 임계값 이상을 유지함을 보장합니다.

한계를 더욱 밀어붙이기 위해, 팀은 또한 두 번째의 더 철저한 방법을 개발했습니다. 이 접근 방식은 주어진 크기에 대해 가장 최적의 입자 배치를 찾기 위해 방대한 수의 가능한 구성들을 탐색합니다. 이 방법은 결과를 검증하는 데 훨씬 더 많은 컴퓨알팅 시간을 필요로 하지만, 훨씬 더 높은 효율성을 가진 코드를 만들어냅니다. 연구자들은 이 철저한 탐색이 빠른 방법보다 성능 보증을 거의 3배 가까이 향상시킬 수 있음을 발견했습니다. 그들은 이 코드들이 가질 수 있는 최상의 상태인 '상한선(upper bound)'을 설정했습니다. 놀랍게도, 그들의 가장 우수한 결과는 이 한계치에 매우 근접했는데, 이는 그들이 이 유형의 코드를 위해 물리 법칙이 허용하는 최적의 성능에 거의 도달했음을 시사합니다. 이 이론적 최대치와의 근접성은 여전히 개선의 여지가 남아 있음을 나타내며, 이는 해당 분야에서 중요한 진전임을 의미합니다.

연구팀은 추상적인 수학에 머물지 않고, 이론이 실제로 작동함을 증명하기 위해 구체적인 사례들을 구축했습니다. 그들은 48개의 물리적 큐비트를 사용하는 코드와 90개를 사용하는 코드, 두 가지 특정 양자 코드를 제작했습니다. 이 코드들은 다른 것들을 방해하지 않으면서 개별 논리 큐비트에 복잡한 위상 게이트(phase gates)를 적용할 수 있는 능력을 성공적으로 입증했습니다. 48-큐비트 코드는 최대 2개의 물리적 입자에 대한 오류를 수정할 수 있으며, 90-큐비트 버전은 최대 3개의 오류를 처리할 수 있습니다. 연구자들은 또한 정보를 이 시스템들에 인코딩하는 데 필요한 구체적인 회로를 설계하여, 이들이 기능하기 위해 정확히 얼마나 많은 게이트와 연결이 필요한지를 상세히 기술했습니다. 이러한 유한한 사례들은 이론적인 장점이 새로운 인코딩 방법의 실제 하드웨어 설계에 어떻게 구현될 수 있는지를 보여주는 청사진 역할을 합니다.

이 작업의 영향은 단지 한 종류의 게이트에만 국한되지 않습니다. 새로운 인코딩 프레임워크는 논리적 연산의 제어와 오류 정정 코드의 구조적 설계를 분리합니다. 이러한 분리는 동일한 원칙이 다른 유형의 양자 게이트 및 다른 수준의 복잡성에도 적용될 수 있음을 의미합니다. 연구자들은 그들의 방법이 양자 연산의 분류 체계인 클리포드 계층(Clifford hierarchy)의 다양한 단계에 대해 작동하며, 게이트의 복잡성이 증가함에 따라 코드의 효율성이 예측 가능하게 확장된다는 것을 보여주었습니다. 이러한 확장성은 대규모 양자 컴퓨터를 구축하는 데 매우 중요한데, 이는 기계가 복잡해짐에 따라 추가적인 자원(오버헤드)이 폭발적으로 늘어나지 않도록 보장하기 때문입니다. 주소 지정이 가능하면서도 효율적인 코드를 향한 명확한 경로를 제공함으로써, 이 연구는 결함 허용(fault-tolerant) 양자 컴퓨터의 발전을 가로막았던 주요 병목 현상을 제거합니다.

결과는 유망하지만, 이 작업은 남은 과제들도 강조합니다. 연구자들은 그들의 가장 우수한 코드와 이론적 상한선 사이에 작은 격차가 있음을 확인했으며, 이는 여전히 개선의 여지가 있음을 시사합니다. 향후 노력은 이 격차를 좁히고, 발생하는 오류를 빠르게 식별하고 수정할 수 있는 효율적인 디코딩 알고리즘과 이들을 통합하는 데 집중될 것입니다. 또한 연구팀은 실제 환경의 노이즈 조건 하에서 이 코드들이 어떻게 작동하는지, 그리고 양자 하드웨어의 물리적 연결성과 어떻게 상호작용하는지를 평가하는 실질적인 구현이 필요하다고 언급했습니다. 그럼에도 불구하고, 이 연구가 설정한 정량적 목표치는 엔지니어와 이론가 모두에게 명확한 로드맵을 제공합니다. 달성 가능한 매개변수와 이론적 한계 사이의 간극을 좁힘으로써, 이 작업은 완전히 주소 지정이 가능한 결함 허용 양자 컴퓨터라는 꿈을 먼 미래의 가능성에서 만질 수 있는 공학적 목표로 변화시키고 있습니다.