A Classification of Translation-Invariant Quantum Codes in Any Dimension

오늘날의 기계로는 도달할 수 없는 문제를 해결할 수 있는 컴퓨터를 구축하기 위해, 과학자들은 먼저 근본적인 문제인 섬세한 양자 정보의 안전한 보존 문제를 해결해야 합니다. 양자 비트, 즉 큐비트는 매우 취약합니다. 환경으로부터 발생하는 아주 작은 소음조차도 그들이 보유한 데이터를 뒤섞어 놓을 수 있습니다. 이를 방防하기 위해 연구자들은 양자 오류 정정 코드를 사용합니다. 이것은 물리적인 방패가 아니라, 정보를 여러 큐비트에 분산시켜 시스템이 데이터를 파괴하지 않고도 오류를 감지하고 수정할 수 있게 하는 수학적 패턴입니다. 지금까지 발견된 가장 성공적인 패턴 중 하나는 큐비트를 평평한 2차원 격자에 배치하는 표면 코드(surface code)입니다. 이 코드는 견고하고 구현하기 비교적 쉬워 수십 년 동안 결함 허용 양자 컴퓨팅 설계의 중추 역할을 해왔습니다. 그러나 과학자들이 더 강력한 기계를 향해 나아가면서, 더 나은 보호 기능이나 새로운 능력을 제공할 수 있는 패턴을 찾기 위해 더 높은 차원에서 작동하는 코드들을 탐구하고 있습니다.

고차원의 과제는 규칙이 변한다는 점입니다. 2차원 코드는 단순하고 예측 가능한 구조를 갖는 반면, 3차원 및 고차원 공간은 복잡하고 다양한 패턴을 허용하며, 그중 일부는 단순한 분류를 거부하는 방식으로 작동하기도 합니다. 새로운 연구에서 물리학자 앤드류 리(Andrew Li)와 도미닉 J. 윌리엄슨(Dominic J. Williamson)은 이 복잡한 지형의 특정 구석을 지도화했습니다. 그들은 모든 차원에서 격자를 따라 완벽하게 반복되는 특성인 '병진 불변성(translation invariance)'을 가진 특정 유형의 코드에 집중했습니다. 구조의 층수가 공간의 차원 수와 일치하는 '체인 복합체(chain complex)'라는 특정 수학적 구조로부터 구축된 코드에 주의를 집중함으로써, 그들은 놀라운 질서를 발견했습니다. 그들은 이러한 모든 코드가 잘 알려진 단일 패턴인 토릭 코드(toric code)의 복사본들과 수학적으로 동등하다는 것을 증밀히 입증했습니다. 이 결과는 고차원 공간의 겉보기 복잡성에도 불구하고, 이 특정 코드 군이 새로운 유형의 혼란스러운 혼합물이 아니라 익숙하고 신뢰할 수 있는 구성 요소들의 집합이라는 것을 의미합니다.

연구자들은 먼저 게임의 규칙을 정의하는 것부터 시작했습니다. 그들은 모든 방향으로 무한히 확장되는 격자 위의 큐비트를 고려했으며, 모든 지점에서 동일한 규칙이 적용됩니다. 병진 불변성이라고 불리는 이 대칭성은 코드를 구축하는 방식과 실제 기계에 구현하는 방식을 단순화하기 때문에 매우 중요합니다. 2차원에서는 이러한 대칭성과 오류 수정 능력이 커지는 코드는 본질적으로 표준 토릭 코드의 적층(stack)이라는 것이 이미 알려져 있었습니다. 하지만 과학자들이 3차원, 4차원 또는 그 이상의 차원으로 이동했을 때 상황은 훨씬 더 무질서해 보였습니다. 이러한 고차원에는 많은 다양한 유형의 토릭 코드가 존재하며, 전하(charge)가 자유롭게 움직이는 것을 방해하는 독특한 특성을 가진 프랙턴 코드(fracton codes)와 같은 완전히 다른 코드 군도 존재합니다. 이러한 서로 다른 유형들의 존재는 단순한 분류가 불가능할 것이라는 생각을 심어주었습니다.

리와 윌리엄슨은 그들이 '길이-D 체인 복합체'라고 부르는 것으로 유도된 특정 클래스의 코드로 범위를 좁혔습니다. 쉽게 말해, 이는 코드를 정의하는 수학적 구조가 코드가 존재하는 차원만큼의 층을 가지고 있음을 의미합니다. 예를 들어, 3차원 공간의 코드는 세 개의 층을 가진 구조로부터 구축될 것입니다. 이 조건은 구조의 층수가 공간의 차원보다 적은 것에 의존하는 프랙턴 코드를 자연스럽게 제외합니다. 이 제약을 부과함으로써 연구자들은 다음과 같은 정밀한 질문을 던질 수 있었습니다. 만약 우리가 차원 수와 일치하는 구조를 가진 이 특정 코드들만을 살펴본다면, 그들은 모두 동일한 범주에 속하는가?

그들이 찾아낸 답은 확고한 '예'였습니다. 저자들은 이 설명에 부합하는 모든 코드가 D-차원 토릭 코드의 집합과 수학적으로 동등함을 입증했습니다. 이 동등성은 완벽한 동일성이 아니라 실용적인 것입니다. 이는 만약 당신이 그러한 코드를 가져와 몇 개의 큐 qubits를 단순한 상태로 추가하고 국소적인 연산을 적용한다면, 그것을 토릭 코드의 적층으로 변환할 수 있음을 의미합니다. 역으로, 토릭 코드의 적층을 동일한 단계들을 사용하여 이 다른 코드들 중 하나로 바꿀 수도 있습니다. 이 결과는 2차원 코드의 알려진 분류를 임의의 차원으로 일반화하며, 코드가 특정 구조적 요구 사항을 충족하는 한 그렇습니다. 이는 고차원의 복잡성이 근본적으로 다른 새로운 유형의 코드를 만들어내는 것이 아니라, 단지 동일한 익숙한 패턴의 다른 버전들을 만들어낼 뿐임을 보여줍니다.

또한 이 연구는 이 분류에 부합하지 않는 것이 무엇인지 명확히 합니다. 연구자들은 변수의 수가 사이클의 수보다 많은 경우에 적용되지 않는다는 점을 명시적으로 언급했는데, 이는 프랙턴 코드에서 보이는 부동(immobile) 전하를 초래하는 조건입니다. 그러한 경우, 양자 정보를 운반하는 엔티티인 위상학적 전하(topological charges)는 보통 제자리에 갇혀 자유롭게 움직일 수 없습니다. 전하가 움직일 수 없기 때문에 이 논문에서 사용된 수학적 도구는 적용되지 않으며, 코드들은 토릭 코드의 복사본으로 단순화되지 않습니다. 이러한 구분은 전하가 자유롭게 흐르는 '액체(liquid)' 상과 전하가 얼어붙은 '프랙턴(fracton)' 상 사이의 경계를 강조한다는 점에서 중요합니다.

이 작업의 함의는 양자 컴퓨팅의 미래에 있어 매우 중요합니다. 이 넓은 범위의 코드들이 토릭 코드와 동등함을 증명함으로써, 연구자들은 이들을 이해하고 구현하기 위한 명확한 로드맵을 제공했습니다. 새로운 고차원 코드를 발견할 때마다 매번 새로운 디코딩 전략이나 오류 정정 기술을 발명할 필요 없이, 엔지니어들은 이미 토릭 코드를 중심으로 구축된 광범위한 지식에 의존할 수 있습니다. 이 연구는 어떤 코드가 병진 불변이고 공간의 차원과 일치하는 구조로부터 구축되었다면, 그 코드는 토릭 코드와 동일한 근본적인 특성을 공유할 것임을 시사합니다. 여기에는 오류를 수정하는 능력과 그들이 나타내는 양자 상(quantum phases)의 성질이 포함됩니다.

논문은 이 특정 클래스의 코드에 대한 완전한 분류를 제공하지만, 저자들은 여전히 많은 질문이 남아 있음을 인정합니다. 그들은 이 결과가 모든 병진 불변 코드로 확장될 수 있는지, 혹은 엄격하게 병진 불변적이지는 않지만 여전히 단거리 연결을 가진 코드에도 적용될 수 있는지 아직 알려지지 않았다고 지적합니다. 또한 그들은 더 이색적인 프랙턴 코드에 대해서도 유사한 분류 정리(classification theorems)를 찾을 수 있을지 궁금해합니다. 그럼에도 불구하고, 이 작업은 양자 오류 정정의 광활한 풍경 속에서 완전히 이해될 수 있는 질서의 섬들이 존재함을 보여주는 견고한 토대를 마련했습니다. 연구자들은 광범하고 중요한 코드 군에 대해, 고차원의 복잡성은 환상에 불과하다는 것을 보여주었습니다. 그 이면의 규칙은 2차원에서와 마찬가지로 단순하고 우아합니다.