Lifted surgery for non-Abelian two-block group-algebra codes

실용적인 양자 컴퓨터를 구축하려는 여정에서, 과학자들은 극도로 취약한 문제를 해결하기 위해 노력하고 있습니다. 이 기계의 기본 정보 단위인 양자 비트(qubit)는 주변 환경에 의해 쉽게 방해를 받아 계산이 붕괴될 수 있습니다. 이를 방지하기 위해 연구자들은 단 하나의 정보를 여러 물리적 입자에 분산시키는 오류 정정 코드를 사용합니다. 가장 유망한 설계 중 하나는 양자 저밀도 패리티 검사(quantum low-density parity-check) 코드인데, 이는 입자들을 데이터의 파괴 없이 오류를 탐지하고 수정할 수 있는 검사 네트워크로 조직합니다. 그러나 계산을 수행하려면 컴퓨터는 이러한 입자들의 특정 패턴을 측정해야 합니다. 대개 이 과정은 시간이 오래 걸리고 귀중한 자원을 소모하는 느린 단계별 과정을 필요로 하며, 이는 전체 기계의 가동을 중단시킬 수 있는 병목 현상을 초래합니다.

"리프티드 서저리(lifted surgery)"라고 불리는 새로운 접근 방식은 한 번에 많은 패턴을 측정함으로써 이 과정을 가속화하는 방법을 제시하지만, 역사적으로 이는 규칙이 단순하고 예측 가능한 경우에만 잘 작동하는 특정 유형의 수학적 대칭성에 의존해 왔습니다. 최근 한 연구자는 이러한 속도 향상이 연산의 순서가 중요하고 규칙이 훨씬 더 까즐스러운, 더 복잡한 비가환(non-commutative) 시스템으로 확장될 수 있는지 질문했습니다. 그 연구자는 이러한 복잡한 군(group)들로 구축된 코드 클래스를 조사하며, 추가적인 수학적 구조가 더 많은 정보를 동시에 측정할 수 있게 하여 양자 컴퓨터의 연산을 혁신할 수 있기를 희망했습니다.

연구자는 비가환적 특성이 단순한 가환적 군보다 진정한 이점을 제공하는지 테스트하기 위해 연구를 시작했습니다. 그는 먼저 이 복잡한 코드들의 대칭성을 지도화하여, 논리 연산자(데이터를 나타내는 패턴)들을 함께 측정할 수 있도록 그룹화하는 방법을 찾았습니다. 그의 초기 희망은 비가환적 구조가 단순한 군이 제공할 수 있는 것보다 더 큰 측정 가능 패턴 세트를 열어줄 것이라는 점이었습니다. 그러나 가용한 모든 대칭 범위를 분석했을 때, 그는 겉보기에 드러나는 대부분의 이점이 사라진다는 것을 발견했습니다. 비가환적 군의 추가적인 복잡성은 종종 새로운 대칭성을 도입하며, 이를 적절히 고려하면 단순한 가환적 군에 의해 재현될 수 있었습니다. 많은 경우, "비아벨 이득(non-Abelian gain)"은 가용한 대칭성의 아주 작은 부분만을 바라봄으로써 생긴 환상이었습니다.

그럼에도 불구하고, 연구자는 그 이점이 완전히 사라진 것은 아님을 발견했습니다. 그는 비가환적 구조가 여전히 실질적이고 측정 가능한 이점을 제공하는 특정 코드들을 식별해 냈습니다. 대칭성이 엄격하게 제한된 10개의 리지드(rigid) 코드에서, 그는 이 새로운 방법이 가능한 최선의 가환적 군 기반 방법보다 두 배 더 많은 패턴을 동시에 측정할 수 있다는 것을 발견했습니다. 4개 원소의 교대군(alternating group)이나 2x2 특수 선형군(special linear group)과 관련된 몇몇 예외적인 경우에는 그 이득이 더 높아서, 세 배 더 많은 패턴을 측정할 수 있었습니다. 그중 하나인 위수(order) 240인 군을 포함하는 코드는 단 한 번의 측정 설정만으로 시스템 내의 모든 논리 큐비트를 한꺼번에 읽어낼 수 있었는데, 이는 단순한 방법으로는 불가능한 일이었습니다.

이러한 이득이 단지 이론적인 것에 그치지 않도록, 연구자는 노이즈와 오류를 도입하여 시스템이 어떻게 견디는지 확인하는 현실적인 조건 하에서 전체 과정을 시뮬레이션했습니다. 그는 새로운 비가환적 가젯(gadget)의 성능을 전통적인 방식과 비교했습니다. 결과는 새로운 접근 방식이 기존 방식만큼 신뢰할 수 있거나, 어떤 경우에는 기존 방식보다 약간 더 신뢰할 수 있으면서도, 측정 단계(rounds of measurement)를 2~3배 적게 사용한다는 것을 보여주었습니다. 이러한 시간 단축은 매우 중요한데, 이는 양자 컴퓨터가 동일한 작업을 수행하는 동안 오류에 취약한 시간을 줄여준다는 것을 의미하기 때문입니다. 또한 연구자는 자신의 방법이 코드의 거리(distance)를 보존하여, 측정 과정이 가속화되더라도 오류 정정 능력이 그대로 유지됨을 수학적으로 증명했습니다.

본 연구는 비가환적 군의 약속이 처음에 기대했던 것만큼 보편적이지는 않지만, 여전히 특정하게 선택된 코드들에 대해서는 강력한 도구라는 결론을 내립니다. 대칭성을 엄격하게 분류하고 측정 가능한 한계를 테스트함으로써, 연구자는 이러한 복잡한 구조가 진정한 우위를 제공하는 지점에 대한 명확한 지도를 제공했습니다. 연구자는 특정 양자 코드의 경우, 비가환적 군의 복잡성을 수용하는 것이 정보를 읽어내는 데 있어 더 효율적이고 견고한 방법을 가능하게 한다는 것을 보여주었습니다. 이 연구는 앞으로 나아갈 길이 복잡성을 포기하는 것이 아니라, 현재 기술의 한계를 극복하기 위해 복잡성을 정확히 어디에서 어떻게 활용할 수 있는지 이해하는 데 있음을 시사합니다.